diff options
Diffstat (limited to 'doc/user/.cvsignore')
| -rw-r--r-- | doc/user/.cvsignore | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/doc/user/.cvsignore b/doc/user/.cvsignore new file mode 100644 index 0000000000..5ebbd7c65d --- /dev/null +++ b/doc/user/.cvsignore @@ -0,0 +1,51 @@ +bsp.texi +clock.texi +concepts.texi +conf.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.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 +stamp-vti +states.pdf +task.texi +timer.texi +userext.texi +version.texi |