Skip to content

WIP - Fix #252 - Add "About" menu with Maven version numbers#84

Open
isabelle-dr wants to merge 5 commits intomasterfrom
about2
Open

WIP - Fix #252 - Add "About" menu with Maven version numbers#84
isabelle-dr wants to merge 5 commits intomasterfrom
about2

Commits

Commits on Apr 13, 2018