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