diff options
Diffstat (limited to 'doc/ada_user/.cvsignore')
| -rw-r--r-- | doc/ada_user/.cvsignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/ada_user/.cvsignore b/doc/ada_user/.cvsignore index 850320249b..75368af8e2 100644 --- a/doc/ada_user/.cvsignore +++ b/doc/ada_user/.cvsignore @@ -8,6 +8,10 @@ ada_user.dvi ada_user.fn ada_user.fns ada_user*.html +ada_user.info +ada_user.info-1 +ada_user.info-2 +ada_user.info-3 ada_user.ky ada_user.log ada_user.pdf |