From b8350f31b46033a64ff1383d080ccceae2fd8ab3 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Wed, 25 Jun 2008 07:48:35 +0000
Subject: [PATCH] Remove witness-emacs.

---
 src/.gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/.gitignore b/src/.gitignore
index 7353e06501e..950ce883e76 100644
--- a/src/.gitignore
+++ b/src/.gitignore
@@ -21,4 +21,3 @@ stamp-oldxmenu
 temacs
 buildobj.lst
 stamp_BLD
-witness-emacs
-- 
2.39.5