Mercurial > gemma
log
age | author | description |
---|---|---|
Mon, 01 Oct 2018 17:29:33 +0200 | Thomas Junk | morphtool layout fixed |
Mon, 01 Oct 2018 17:08:31 +0200 | Thomas Junk | merge |
Mon, 01 Oct 2018 17:07:37 +0200 | Thomas Junk | fix: overflow behaviour of identify menu fixed |