Google Git
Sign in
eclipse / papyrus / org.eclipse.papyrus-sysml / c875acc5967577e2d4e55906b0d91858b5e9e038 / . / gui / .settings
tree: 65957007fa721e46bfe4acbf956fcb153b58d37a [path history] [tgz]
  1. org.eclipse.core.resources.prefs