changeset 96172:e1dd032c272e

Add witness-emacs.
author Glenn Morris <rgm@gnu.org>
date Sat, 21 Jun 2008 19:51:48 +0000
parents 5cb1baeb8096
children ae8c147fc1ad
files src/.cvsignore
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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