Google Git
Sign in
eclipse / gerrit / ocl / org.eclipse.ocl / 3394e1035bd61688bf0c6e6db8042b4a220df52b / . / examples / org.eclipse.ocl.examples / .settings
tree: 64c9ffd55ab98042b7110cf6af4ae3edbf783305 [path history] [tgz]
  1. org.eclipse.core.resources.prefs