diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/ada_user/.cvsignore | 34 |
1 files changed, 12 insertions, 22 deletions
diff --git a/doc/ada_user/.cvsignore b/doc/ada_user/.cvsignore index 76dee8032f..2ad221aaad 100644 --- a/doc/ada_user/.cvsignore +++ b/doc/ada_user/.cvsignore @@ -1,33 +1,23 @@ -ada_user*.html -Makefile.in Makefile +Makefile.in ada_user -ada_user-1 -ada_user-2 -ada_user-3 -ada_user-4 -ada_user-5 -ada_user-6 -ada_user-7 -ada_user-8 -ada_user-9 -ada_user-10 -ada_user-11 -ada_user-12 -ada_user.log -ada_user.dvi +ada_user*.html +ada_user-? +ada_user-?? ada_user.aux ada_user.cp +ada_user.cps +ada_user.dvi ada_user.fn -ada_user.vr -ada_user.tp +ada_user.fns ada_user.ky +ada_user.log +ada_user.pdf ada_user.pg +ada_user.ps ada_user.toc -ada_user.cps -ada_user.fns +ada_user.tp +ada_user.vr index.html rtemspie.pdf states.pdf -ada_user.pdf -ada_user.ps |