diff options
| -rw-r--r-- | CVSROOT/modules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CVSROOT/modules b/CVSROOT/modules index 7e5d2a2bf134..065d942d1171 100644 --- a/CVSROOT/modules +++ b/CVSROOT/modules @@ -6286,6 +6286,7 @@ latex-bytefield ports/print/latex-bytefield latex-caption ports/print/latex-caption latex-circ ports/print/latex-circ latex-cjk ports/print/latex-cjk +latex-etoolbox ports/print/latex-etoolbox latex-feynmf ports/print/latex-feynmf latex-keystroke ports/print/latex-keystroke latex-logpap ports/print/latex-logpap |