Sign in
eclipse
/
gerrit
/
viatra
/
org.eclipse.viatra2.vpm
/
8941576940002903cb1ef99dbe8f119525cb1cd0
/
.
/
org.eclipse.viatra2.gtasm.patternmatcher.incremental
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 098ad08bd12dfc0fbc283ebd612bbde69704c317 [
file
] [
log
] [
blame
]
#Mon Aug 13 15:34:54 CEST 2007
eclipse
.
preferences
.
version
=
1
internal
.
default
.
compliance
=
default