Sign in
eclipse
/
ocl
/
org.eclipse.ocl
/
fb81a757e689fa6dc0e812d24195ecd19acd73b8
/
.
/
plugins
/
org.eclipse.ocl.edit
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: 700cd6fc9e74263d31da2999fefd82c1e6dc8685 [
file
] [
log
] [
blame
]
#Sun Aug 21 19:06:37 BST 2011
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_OCLCodeFormatting
formatter_settings_version
=
12