]> WPIA git - gigi.git/commit
Update session name for name change
authorLucas Werkmeister <mail@lucaswerkmeister.de>
Thu, 26 May 2016 19:11:05 +0000 (21:11 +0200)
committerLucas Werkmeister <mail@lucaswerkmeister.de>
Thu, 26 May 2016 19:21:04 +0000 (21:21 +0200)
commit6c10d13f4178ee1c2be2e669371f0e885661c859
tree47e885d0263506d4bac512d580d0e4da77eac58e
parent4b2908388779efa4fc1752785319328526f52662
Update session name for name change
src/org/cacert/gigi/Launcher.java