[20706] released patch provided by Dirk Baeumer
3 files changed
tree: 5d9e196c2dd37af9b7d246c7dfa0e798ebe82783
  1. org.eclipse.search/
  2. org.eclipse.ui.examples.javaeditor/
  3. .gitignore