Google Git
Sign in
eclipse / mmt / org.eclipse.qvto / da9a395393f9ef1efa948ffa3d98988c97d52998 / . / plugins / org.eclipse.m2m.qvt.oml.editor.ui / .settings
tree: 8d962f19432d530525fe8812cdcc381ca872b358 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs