diff options
Diffstat (limited to '')
-rw-r--r-- | doc/porting/.cvsignore | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/doc/porting/.cvsignore b/doc/porting/.cvsignore index 62c7f13e25..aebe6456c2 100644 --- a/doc/porting/.cvsignore +++ b/doc/porting/.cvsignore @@ -1,29 +1,29 @@ -porting*.html -Makefile.in Makefile -developtools.texi -sourcecode.texi -cpumodels.texi +Makefile.in +codetuning.texi cpuinit.texi -interrupts.texi -taskcontext.texi +cpumodels.texi +developtools.texi idlethread.texi -prioritybitmap.texi -codetuning.texi +index.html +interrupts.texi miscellaneous.texi porting -porting-1 -porting-2 -porting.log -porting.dvi +porting*.html +porting-? +porting-?? porting.aux porting.cp +porting.dvi porting.fn -porting.vr -porting.tp porting.ky -porting.pg -porting.toc -index.html +porting.log porting.pdf +porting.pg porting.ps +porting.toc +porting.tp +porting.vr +prioritybitmap.texi +sourcecode.texi +taskcontext.texi |