Add witness-emacs.

diff --git a/src/.gitignore b/src/.gitignore
index 950ce883e766f592730f3e51ca280baaa7de2f38..7353e06501e1097abb453d986040a81e84b09709 100644 (file)
--- a/src/.gitignore
+++ b/src/.gitignore
@@ -21,3 +21,4 @@ stamp-oldxmenu
 temacs
 buildobj.lst
 stamp_BLD
+witness-emacs