diff options
Diffstat (limited to 'makediff.sh')
| -rwxr-xr-x | makediff.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makediff.sh b/makediff.sh index 1135cbb..cb6eb76 100755 --- a/makediff.sh +++ b/makediff.sh @@ -23,6 +23,7 @@ Revert: formatting: mark change manually as changed in cs02 cl: move out cs02 changelog cl: drop contents temporarily changelog: comment out header +changelog: disable markup EOF #mv specvars.tex specvars-orig.tex |