Mercurial > gemma
graph
-
Merged default into geo-style branch. geo-styleTue, 02 Oct 2018 22:25:44 +0200, by Sascha L. Teichmann
-
UI: Identify Tool, nicer dynamic height.Tue, 02 Oct 2018 18:27:55 +0200, by Sascha Wilde
-
repairedTue, 02 Oct 2018 18:07:27 +0200, by Thomas Junk