diff options
Diffstat (limited to 'doc/user')
-rw-r--r-- | doc/user/.cvsignore | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/doc/user/.cvsignore b/doc/user/.cvsignore deleted file mode 100644 index 79dc66fa4b..0000000000 --- a/doc/user/.cvsignore +++ /dev/null @@ -1,57 +0,0 @@ -barrier.texi -bsp.texi -clock.texi -concepts.texi -conf.texi -cpuuse.texi -c_user -c_user-? -c_user-?? -c_user.aux -c_user.cp -c_user.cps -c_user.dvi -c_user.fn -c_user.fns -c_user*.html -c_user.info -c_user.info-? -c_user.info-?? -c_user.ky -c_user.log -c_user.pdf -c_user.pg -c_user.ps -c_user.toc -c_user.tp -c_user.vr -datatypes.texi -dpmem.texi -event.texi -fatal.texi -index.html -init.texi -intr.texi -io.texi -Makefile -Makefile.in -mdate-sh -mp.texi -msg.texi -overview.texi -part.texi -region.texi -rtems_footer.html -rtems_header.html -rtemspie.pdf -rtmon.texi -schedule.texi -sem.texi -signal.texi -stackchk.texi -stamp-vti -states.pdf -task.texi -timer.texi -userext.texi -version.texi |