From 25656227eba488f93317f87f60cca544b4d46282 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Sat, 21 Jun 2008 19:51:48 +0000
Subject: [PATCH] Add witness-emacs.

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

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