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