WIP - Fix #252 - Add "About" menu with Maven version numbers#84
Open
isabelle-dr wants to merge 5 commits intomasterfrom
Open
WIP - Fix #252 - Add "About" menu with Maven version numbers#84isabelle-dr wants to merge 5 commits intomasterfrom
isabelle-dr wants to merge 5 commits intomasterfrom
Commits
Commits on Apr 13, 2018
- committed