Sign in
eclipse
/
ocl
/
org.eclipse.ocl
/
20b83667d106f489fc5190cc47a7b6781cea6aa7
/
.
/
features
/
org.eclipse.ocl.edit-feature
/
.settings
/
org.eclipse.core.resources.prefs
blob: e0c432e882373b33129c35909a376080ffcd1543 [
file
] [
log
] [
blame
]
#Thu Oct 08 09:44:32 CEST 2009
eclipse
.
preferences
.
version
=
1
encoding
/<
project
>=
UTF
-
8