summaryrefslogtreecommitdiff
path: root/debian/source
diff options
context:
space:
mode:
authorDavid Härdeman <david@hardeman.nu>2020-07-12 23:58:21 +0200
committerDavid Härdeman <david@hardeman.nu>2020-07-12 23:58:21 +0200
commit01eb1fe238371c3a29b22f1d06147f527285539e (patch)
treecc0301f776226dc12a109066c29a3a940c831a29 /debian/source
parent708f431db8dab6779dd090a1117e556340eca9cc (diff)
Teach minecctl to delete servers on commandHEADmaster
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions