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