Sign in
eclipse
/
ocl
/
org.eclipse.ocl
/
fa575e4d5d3debc5de8811f6d12e096ac93d9e65
/
.
/
features
/
org.eclipse.ocl.unified.ui-feature
/
.settings
/
org.eclipse.core.resources.prefs
blob: 99f26c0203a7844de00dbfc56e6a35d8ed3c022c [
file
] [
log
] [
blame
]
eclipse
.
preferences
.
version
=
1
encoding
/<
project
>=
UTF
-
8