diff options
Diffstat (limited to 'CVSROOT')
-rw-r--r-- | CVSROOT/modules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CVSROOT/modules b/CVSROOT/modules index 5c23854..20aefd6 100644 --- a/CVSROOT/modules +++ b/CVSROOT/modules @@ -7040,6 +7040,7 @@ tetrinet ports/games/tetrinet tetrinet-x ports/games/tetrinet-x tex ports/print/tex tex2im ports/textproc/tex2im +texi2db ports/textproc/texi2db texi2html ports/textproc/texi2html texinfo src/gnu/usr.bin/texinfo texmacs ports/editors/texmacs |