Google Git Google Git
Sign in
eclipse/bpmn2/org.eclipse.bpmn2/refs/heads/develop/./org.eclipse.bpmn2.editor/.settings
tree: c953fc9cee208c13e71ad691eb0a371195dc9707 [search]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.m2e.core.prefs