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

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