diff options
Diffstat (limited to 'doc/user/.cvsignore')
-rw-r--r-- | doc/user/.cvsignore | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/doc/user/.cvsignore b/doc/user/.cvsignore deleted file mode 100644 index 0c55e682ac..0000000000 --- a/doc/user/.cvsignore +++ /dev/null @@ -1,58 +0,0 @@ -barrier.texi -bsp.texi -chains.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 -object.texi -ObjectId-16Bits.pdf -ObjectId-32Bits.pdf -overview.texi -part.texi -region.texi -rtemspie.pdf -rtmon.texi -schedule.texi -sem.texi -semaphore_attributes.pdf -signal.texi -stackchk.texi -states.pdf -task.texi -timer.texi -userext.texi |