diff options
| author | Glenn Morris <rgm@gnu.org> | 2008-06-21 19:51:48 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2008-06-21 19:51:48 +0000 |
| commit | 25656227eba488f93317f87f60cca544b4d46282 (patch) | |
| tree | 9b1105b6b9b1bd8e34db6fa39caaf614c1f5d8e3 | |
| parent | 24f6e371b7adc81773e07153cfaa262d8ea97e31 (diff) | |
| download | emacs-25656227eba488f93317f87f60cca544b4d46282.tar.gz | |
Add witness-emacs.
| -rw-r--r-- | src/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
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 |