Google Git
Sign in
eclipse / viatra / org.eclipse.viatra2.vpm / 0ce52e8b51cbd848943f5371ee729c59e260dac9 / . / plugins / org.eclipse.viatra2.gtasm.model / .settings
tree: 7b5c7253c0ca2ff9f19d69b2afb07af7de0ad26d [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs