Sign in
eclipse
/
ocl
/
org.eclipse.ocl
/
3e1e6ffc64a93b4551ada2356f4b471df0920514
/
.
/
plugins
/
org.eclipse.ocl.uml.ui
/
.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
