Google Git
Sign in
apache / uima-uimaj / refs/heads/feature/369-Move-isTypeName-and-isFeatureName-to-public-API / . / src / main / eclipse
tree: a1fec584c87d7d47b460e7df93a35f384960c1f0 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs