1
2#### Resources settings
3# enable Resourced debugging
4org.eclipse.core.resources/debug=true
5
6# Monitor builders and gather time statistics etc.
7org.eclipse.core.resources/monitor/builders=true
8
9# Monitor resource change listeners and gather time statistics etc.
10org.eclipse.core.resources/monitor/listeners=true
11
12