diff options
| -rw-r--r-- | doc/.cvsignore | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index 47a42cbf6..26171b3b2 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -1,19 +1,19 @@ Makefile -fileutils.aux -fileutils.cm -fileutils.cp -fileutils.cps -fileutils.dvi -fileutils.fl -fileutils.fn -fileutils.info -fileutils.info* -fileutils.ky -fileutils.log -fileutils.op -fileutils.pg -fileutils.toc -fileutils.tp -fileutils.vr +omni-utils.aux +omni-utils.cm +omni-utils.cp +omni-utils.cps +omni-utils.dvi +omni-utils.fl +omni-utils.fn +omni-utils.info +omni-utils.info* +omni-utils.ky +omni-utils.log +omni-utils.op +omni-utils.pg +omni-utils.toc +omni-utils.tp +omni-utils.vr stamp-vti version.texi |