diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-12-12 10:37:45 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-12-12 10:37:45 +0000 |
| commit | 87b66d52057cca6c002c8ce9da2e93030fba1443 (patch) | |
| tree | 079a6a00fb834e1844bd398b8226f66fd939de37 /doc | |
| parent | c07300b86be9aa84cf68c3fc510e8af5812cee13 (diff) | |
SRGS generation: don't include debug script stuff if debugging is disabled. Place category comments better.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions