Sign in
eclipse
/
sirius
/
org.eclipse.sirius
/
f5d1143f9429d2c29fed87b2e392820eda3aba54
/
.
/
plugins
/
org.eclipse.sirius.tree.ui
/
.settings
/
org.eclipse.core.resources.prefs
blob: 674bcffd173656907a3b573d961600b9157624a9 [
file
] [
log
] [
blame
]
#Sat May 07 19:46:15 CEST 2011
eclipse
.
preferences
.
version
=
1
encoding
/<
project
>=
US
-
ASCII