Google Git
Sign in
eclipse/gerrit/webtools/webtools.releng/20e689a8145a471be7d108ea5dec3e2d8ab3e07d/./plugins/org.eclipse.javaee.intro/.settings
tree: 882476915c48fe29956302be1a435eee4850eed5
  1. org.eclipse.jdt.core.prefs