Mercurial > gemma
graph
-
merged configuration branch into defaultThu, 13 Jun 2019 11:20:17 +0200, by Markus Kottlaender
-
Avoid empty validity time rangesWed, 12 Jun 2019 18:26:26 +0200, by Tom Gottfried
-
Fixup accidental change in rev. 02951a62e8c6Wed, 12 Jun 2019 18:21:14 +0200, by Tom Gottfried