[438172] Remove non-existing entries from build.properties
4 files changed
tree: 9fbc3490c6b780bd0b6a6be2f5526bedb93a0a23
  1. .gitignore
  2. doc/
  3. examples/
  4. features/
  5. plugins/