diff options
Diffstat (limited to 'info')
| -rw-r--r-- | info/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/info/.gitignore b/info/.gitignore index 5e6fc3669b2..15aaca74916 100644 --- a/info/.gitignore +++ b/info/.gitignore @@ -117,6 +117,8 @@ idlwave-3 ebrowse pcl-cvs woman +woman-1 +woman-2 speedbar elisp elisp-1 |