Javi 7c906bdfb8 Revert "IntelliJ IDEA Cleanup: Remove unused imports, migration aids..." ... * Revert "Some improvements to the settings menu" This reverts commit 8c9ec25ce8. * Revert "IntelliJ IDEA Cleanup: Remove unused imports, migration aids..." This reverts commit be006d02c3.		2017-08-02 22:10:13 +02:00
..
src	Revert "IntelliJ IDEA Cleanup: Remove unused imports, migration aids..."	2017-08-02 22:10:13 +02:00
pom.xml	Update to 1.12	2017-07-06 07:06:18 -07:00