diff --git a/fix-repository-20040202 b/fix-repository-20040202 new file mode 100755 index 0000000000..d44840ccd7 --- /dev/null +++ b/fix-repository-20040202 @@ -0,0 +1,8 @@ +#!/bin/sh + + +# on 2004-02-02 we made a repository change that requires you to run this script in any working copies checked out before then (otherwise you will continue to see "html_user not found" messages + + +cat CVS/Entries | grep -v D/html_user | grep -v D/html_ops > CVS/Entries +