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