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