Mercurial > gemma
graph
-
mergeMon, 03 Dec 2018 10:23:14 +0100, by Bernhard Reiter
-
translations: merge second headMon, 03 Dec 2018 10:21:48 +0100, by Bernhard Reiter
-
translations: merge first two heads.Mon, 03 Dec 2018 10:14:26 +0100, by Bernhard Reiter