diff options
Diffstat (limited to 'doc/ada_user/.cvsignore')
| -rw-r--r-- | doc/ada_user/.cvsignore | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/doc/ada_user/.cvsignore b/doc/ada_user/.cvsignore deleted file mode 100644 index 75368af8e2..0000000000 --- a/doc/ada_user/.cvsignore +++ /dev/null @@ -1,32 +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 -rtems_footer.html -rtems_header.html -rtemspie.pdf -stamp-vti -states.pdf -version.texi |