| changeset 18 | 1edf350003c5 |
| parent 7 | 51d10d255e92 |
| child 21 | 708468d5143e |
| 16:e918432ddd92 | 18:1edf350003c5 |
|---|---|
13 * ============================================================================== |
13 * ============================================================================== |
14 */ |
14 */ |
15 |
15 |
16 // Uncomment to get harvester plugin performance logs |
16 // Uncomment to get harvester plugin performance logs |
17 //MACRO __PERFORMANCE_DATA |
17 //MACRO __PERFORMANCE_DATA |
18 |
|
19 // For enabling Highlighter |
|
20 //MACRO USE_HIGHLIGHTER |