Mercurial > gemma
log
age | author | description |
---|---|---|
Fri, 28 Sep 2018 10:17:31 +0200 | Bernhard Reiter | merge |
Fri, 28 Sep 2018 10:17:11 +0200 | Bernhard Reiter | client: make Morphtool selection more robust |
Fri, 28 Sep 2018 10:17:10 +0200 | Thomas Junk | refresh for logs |