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