diff options
Diffstat (limited to 'Build/tools/tpm-ctan-check')
| -rwxr-xr-x | Build/tools/tpm-ctan-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/tools/tpm-ctan-check b/Build/tools/tpm-ctan-check index b0e43f0f468..43ec515b95b 100755 --- a/Build/tools/tpm-ctan-check +++ b/Build/tools/tpm-ctan-check @@ -78,7 +78,7 @@ sub main "textcase", "textpos", "thumbpdf", "bin-thumbpdf", "titlesec", "tokenizer", "totpages", "trajan", "tugboat", "twoup", - "verse", "vhistory", "volumes", + "velthuis", "verse", "vhistory", "volumes", "wrapfig", "york-thesis", "xcolor", "xkeyval" |