diff options
| -rwxr-xr-x | Doc/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/.cvsignore b/Doc/.cvsignore index acf2f71..ffa8de6 100755 --- a/Doc/.cvsignore +++ b/Doc/.cvsignore @@ -1,5 +1,6 @@ python-lib.info* lib.texi +lib1.texi *.ind *.log *.aux |