Google Git
Sign in
eclipse/jeetools/webtools.javaee.tests/619a997bb23ea85d05ba0143d5fcf89a4a30c10d/./tests/org.eclipse.jem.tests/.settings
tree: 547b0ccb3b9e1b77a77ed4aee031acdc350e21bd
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs