diff options
Diffstat (limited to 'info')
| -rw-r--r-- | info/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/info/.gitignore b/info/.gitignore index a89a777e553..d7cac4dd3a8 100644 --- a/info/.gitignore +++ b/info/.gitignore @@ -112,6 +112,7 @@ efaq-5 idlwave idlwave-1 idlwave-2 +idlwave-3 ebrowse pcl-cvs woman |