Google Git
Sign in
eclipse / dali / webtools.dali / abc3a4ee2ecee5cff466e6f37706aabb89e19855 / . / jpa_diagram_editor / plugins / org.eclipse.jpt.jpadiagrameditor.ui / .settings
tree: 0a7a9aa40c632d05d3e5200cabda59ad00b8fe51 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs