"README.md" did not exist on "177c48048cb5aeafc58fc6becda6c2809e96e34d"
o Don't delete gif files because some are checked in. (Fix this in a
better way.) o Don't infloop when creating cmu-user.pdf by skipping over the version message from rerunfilecheck before checking for Rerun messages.
Please register or sign in to comment