]> WPIA git - gigi.git/commit - src/club/wpia/gigi/Gigi.java
upd: make Menu names more flexible
authorFelix Dörre <felix@dogcraft.de>
Fri, 24 Feb 2017 20:22:59 +0000 (21:22 +0100)
committerFelix Dörre <felix@dogcraft.de>
Sat, 25 Feb 2017 18:43:03 +0000 (19:43 +0100)
commitd78ce634f5b5a4cc8ee00332b1c942cdae61adf7
treed1172535da59e1acfa22d1b22a1ec1548e779e1f
parent68719e2645a89b5b2555252559d32af4daf602c4
upd: make Menu names more flexible

Change-Id: Iaf7301a0d4547891a61e9f02d8cf34fb1a4bdbd1
src/club/wpia/gigi/Gigi.java
src/club/wpia/gigi/output/Menu.java
util-testing/club/wpia/gigi/localisation/conf.txt