Google Git
Sign in
eclipse / ptp / org.eclipse.photran / a72bca740f03b982768fcaf7c94db2c67d0767b4 / . / org.eclipse.photran.core.vpg.tests.failing / .settings
tree: dbcd699913a0e1c2df83ac73d898e44816a28e71 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs