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