Sign in
eclipse
/
sirius
/
org.eclipse.sirius
/
refs/heads/v6.7.x
/
.
/
plugins
/
org.eclipse.sirius.sample.interactions.design
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: dec1bab856fb4ad7bad39a76e4c902922dee0d28 [
file
] [
log
] [
blame
]
eclipse
.
preferences
.
version
=
1
formatter_profile
=
_Sirius
formatter_settings_version
=
13
