diff options
| -rwxr-xr-x | Doc/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/.cvsignore b/Doc/.cvsignore index 8de8fdd..d749f42 100755 --- a/Doc/.cvsignore +++ b/Doc/.cvsignore @@ -7,3 +7,4 @@ lib.texi *.toc *.ps *.idx +*.ilg |