diff options
Diffstat (limited to 'doc/ada_user/.cvsignore')
-rw-r--r-- | doc/ada_user/.cvsignore | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/doc/ada_user/.cvsignore b/doc/ada_user/.cvsignore deleted file mode 100644 index 1cd7ad97d8..0000000000 --- a/doc/ada_user/.cvsignore +++ /dev/null @@ -1,31 +0,0 @@ -ada_user -ada_user-? -ada_user-?? -ada_user.aux -ada_user.cp -ada_user.cps -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 -ada_user.pg -ada_user.ps -ada_user.toc -ada_user.tp -ada_user.vr -index.html -Makefile -Makefile.in -mdate-sh -ObjectId-16Bits.pdf -ObjectId-32Bits.pdf -rtemspie.pdf -semaphore_attributes.pdf -states.pdf |