| # Debugging options for the org.eclipse.ui.cheatsheets. | |
| # Master flag for all org.eclipse.ui.intro plugin debug options. | |
| org.eclipse.ui.cheatsheets/debug = true | |
| # Enable printing of time taken during creation of cheat sheet. | |
| org.eclipse.ui.cheatsheets/trace/creation/times = true |