Google Git
Sign in
eclipse / viatra / org.eclipse.viatra2.vpm / 133668016380004fd36a2551cbc18c19e50232e9 / . / plugins / org.eclipse.viatra2.gtasm.patternmatcher.incremental.rete / .settings
tree: 1aa81cc93cbf6e3398f5170c1d1af3a6245e3cea [path history] [tgz]
  1. org.eclipse.jdt.core.prefs