Google Git
Sign in
eclipse / ocl / org.eclipse.ocl / refs/heads/archive/352950 / . / examples / org.eclipse.ocl.examples.eventmanager / .settings
tree: 792eb023b199c4ab7d87d1d2b5b8ed33894c9722 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs