intrace/intrace.ecl.plugin/.settings
mchr3k e19187da6b Initial eclipse version which actually works 2011-05-07 12:00:40 +01:00
..
org.eclipse.jdt.core.prefs Initial eclipse version which actually works 2011-05-07 12:00:40 +01:00