Sign in
eclipse
/
viatra
/
org.eclipse.viatra2.vpm
/
133668016380004fd36a2551cbc18c19e50232e9
/
.
/
plugins
/
org.eclipse.viatra2.gtasm.trigger
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 017c64e891dc4b526522a918e8884e1b67c562a8 [
file
] [
log
] [
blame
]
#Wed Oct 17 17:50:23 CEST 2007
eclipse
.
preferences
.
version
=
1
internal
.
default
.
compliance
=
default