Sign in
eclipse
/
sirius
/
org.eclipse.sirius
/
refs/heads/v3.1.x
/
.
/
plugins
/
org.eclipse.sirius.ui.ext
/
.settings
/
org.eclipse.core.resources.prefs
blob: 5a3a92d374fcdd33930d6a2ef52d40bc973bae71 [
file
] [
log
] [
blame
]
eclipse
.
preferences
.
version
=
1
encoding
/<
project
>=
US
-
ASCII