Google Git
Sign in
eclipse / viatra / org.eclipse.viatra2.vpm / 8941576940002903cb1ef99dbe8f119525cb1cd0 / . / org.eclipse.viatra2.core2 / .settings
tree: 6b66b8dc19935650b4b11069d7079b547b6db276 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs