source: default/v2/trunk/de.ugoe.cs.swe.bnftools.ebnf.ui/.settings @ 104

Name Size Rev Age Author Last Change
../
org.eclipse.core.resources.prefs 57 bytes 61   11 years hkaulbersch initial commit
org.eclipse.jdt.core.prefs 838 bytes 104   2 years phdmakk + updated manifests and class paths, Java 11, etc.
Note: See TracBrowser for help on using the repository browser.