aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--info/.gitignore2
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
117ebrowse 117ebrowse
118pcl-cvs 118pcl-cvs
119woman 119woman
120woman-1
121woman-2
120speedbar 122speedbar
121elisp 123elisp
122elisp-1 124elisp-1