summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xmakediff.sh2
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