diff options
| author | Glenn Morris | 2008-06-21 19:51:48 +0000 |
|---|---|---|
| committer | Glenn Morris | 2008-06-21 19:51:48 +0000 |
| commit | 25656227eba488f93317f87f60cca544b4d46282 (patch) | |
| tree | 9b1105b6b9b1bd8e34db6fa39caaf614c1f5d8e3 /src | |
| parent | 24f6e371b7adc81773e07153cfaa262d8ea97e31 (diff) | |
| download | emacs-25656227eba488f93317f87f60cca544b4d46282.tar.gz emacs-25656227eba488f93317f87f60cca544b4d46282.zip | |
Add witness-emacs.
Diffstat (limited to 'src')
| -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 | |||
| 21 | temacs | 21 | temacs |
| 22 | buildobj.lst | 22 | buildobj.lst |
| 23 | stamp_BLD | 23 | stamp_BLD |
| 24 | witness-emacs | ||