Adam 4d98c63168 Merge pull request #3820 from deathbeam/fix-resizable-minimap ...

Use correct widget when hiding resizable minimap

2018-07-21 21:29:15 -04:00

..

src

Merge pull request #3820 from deathbeam/fix-resizable-minimap

2018-07-21 21:29:15 -04:00

pom.xml

[maven-release-plugin] prepare for next development iteration

2018-07-19 11:13:12 +00:00