diff options
Diffstat (limited to '')
-rw-r--r-- | doc/user/.cvsignore | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/doc/user/.cvsignore b/doc/user/.cvsignore index 5ebbd7c65d..346fe5e16d 100644 --- a/doc/user/.cvsignore +++ b/doc/user/.cvsignore @@ -1,7 +1,3 @@ -bsp.texi -clock.texi -concepts.texi -conf.texi c_user c_user-? c_user-?? @@ -20,32 +16,13 @@ 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 stamp-vti states.pdf -task.texi -timer.texi -userext.texi version.texi |