aboutsummaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.jdt.core.prefs
AgeCommit message (Expand)Author
2018-04-19performance improvebartimaeusnek
2018-04-18Try to make GT++ Ores workbartimaeusnek
2016-07-10Update dependenciesDetrav