# HG changeset patch # User Glenn Morris # Date 1214380115 0 # Node ID d86c12b32e77b0ada798df5a67c885e2046273aa # Parent ef8a2f248fb6444eba073b1dd1b44a4477c3272d Remove witness-emacs. diff -r ef8a2f248fb6 -r d86c12b32e77 src/.cvsignore --- a/src/.cvsignore Wed Jun 25 07:47:09 2008 +0000 +++ b/src/.cvsignore Wed Jun 25 07:48:35 2008 +0000 @@ -21,4 +21,3 @@ temacs buildobj.lst stamp_BLD -witness-emacs