Thanos paravantis 854ebf70c4 Merge branch 'master' into thanos-mineware ... Conflicts: Plugins/Mineplex.Core/.classpath Plugins/Mineplex.Queuer/.settings/org.eclipse.jdt.core.prefs Plugins/Nautilus.Game.Arcade/.classpath Plugins/Nautilus.Game.Arcade/.settings/org.eclipse.jdt.ui.prefs Plugins/Nautilus.Game.Arcade/src/nautilus/game/arcade/game/games/mineware/MineWare.java		2016-02-02 17:11:22 +02:00
..
org.eclipse.jdt.core.prefs	Refactoring challenge selection and updating.	2016-01-31 16:57:54 +02:00
org.eclipse.jdt.ui.prefs	Use Maven for Compilation	2016-01-20 11:20:58 +11:00