]> WPIA git - gigi.git/commit
add: Smooth restart for the DevelLauncher
authorFelix Dörre <felix@dogcraft.de>
Mon, 27 Oct 2014 17:55:51 +0000 (18:55 +0100)
committerJanis Streib <janis@dogcraft.de>
Wed, 31 Dec 2014 01:35:49 +0000 (02:35 +0100)
commit638ef2a38b676d8bb919d25ce9ce092d6ecbd3fe
treed8766d93ba4e56e1997c00e93aa68c1d511c0336
parentd4802b68c651a984f0b98a462ac1e7721aa50388
add: Smooth restart for the DevelLauncher
src/org/cacert/gigi/DevelLauncher.java