diff options
| -rwxr-xr-x | makediff.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/makediff.sh b/makediff.sh index dc2efff..df51bce 100755 --- a/makediff.sh +++ b/makediff.sh @@ -20,6 +20,8 @@ while read -r rev; do git cherry-pick `git rev-list -1 -F --grep "$rev" $newrev` || exit 1 done << 'EOF' Revert: formatting: mark change manually as changed in cs02 +cl: move out cs02 changelog +cl: drop contents temporarily EOF #mv specvars.tex specvars-orig.tex |