]> WPIA git - gigi.git/commit
fix: quick development-restart
authorFelix Dörre <felix@dogcraft.de>
Mon, 27 Feb 2017 23:02:59 +0000 (00:02 +0100)
committerFelix Dörre <felix@dogcraft.de>
Mon, 27 Feb 2017 23:08:56 +0000 (00:08 +0100)
commit7df63396a08d35535e43bb000d629421fbfd25fd
treeaf6adc212b0b6f87c9079185bce0787fb87228a1
parentc16982cf659cbd521d587414bcf6f1afc1a6bf6c
fix: quick development-restart

Change-Id: I29ea805efbf4abb74564bea1b819b5a8b8e9f4de
util-testing/club/wpia/gigi/DevelLauncher.java