# HG changeset patch # User Glenn Morris # Date 1214077908 0 # Node ID e1dd032c272e4c15b50912e18e406d232440885b # Parent 5cb1baeb80961cb070955fd9f094aaebe559ed70 Add witness-emacs. diff -r 5cb1baeb8096 -r e1dd032c272e src/.cvsignore --- a/src/.cvsignore Sat Jun 21 19:48:40 2008 +0000 +++ b/src/.cvsignore Sat Jun 21 19:51:48 2008 +0000 @@ -21,3 +21,4 @@ temacs buildobj.lst stamp_BLD +witness-emacs