]> WPIA git - gigi.git/commitdiff
UPD: document and justify call to System.exit in /kill
authorFelix Dörre <felix@dogcraft.de>
Sat, 28 Feb 2015 22:43:56 +0000 (23:43 +0100)
committerFelix Dörre <felix@dogcraft.de>
Sat, 28 Feb 2015 22:52:15 +0000 (23:52 +0100)

No differences found