Google Git
Sign in
eclipse/gerrit/ptp/org.eclipse.photran/7250ed54b5d58a0965a5349e0241bcdb40f9d20c/./org.eclipse.photran.ui/.settings
tree: 496541a0443422c468a7632fb31601d8a6fa5997
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs