fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=177654
1 file changed
tree: 4189c8c30b9fa7fb6f109d1ef54671f1e474c1ff
  1. deprecated_plugins/
  2. plugins/