Skip to content

Added version info to preferences#822

Merged
citizenmatt merged 2 commits intoJetBrains:183from JurjenBiewenga:feature/VersionInfoOct 3, 2018

Commits

Commits on Oct 2, 2018