summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-07-01 20:50:38 +0000
committerKarl Berry <karl@freefriends.org>2020-07-01 20:50:38 +0000
commit878146825f50960945da8b9c18fa11f718c79c7b (patch)
tree74adb41797a7bbd17d0b1ce33a27a5f4845d60d3 /Master/tlpkg/bin
parent217f4d072b9ff774eb8b4399999744824cac8d9a (diff)
verifiche (1jul20)
git-svn-id: svn://tug.org/texlive/trunk@55720 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check3
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index 9780b2465ba..5be65f98d11 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -786,7 +786,8 @@ my @TLP_working = qw(
varsfromjobname varwidth vaucanson-g vcell vdmlisting
velthuis venn venndiagram venturisadf
verbasef verbatimbox verbatimcopy verbdef
- verbments verifica verse version versions versonotes vertbars vgrid
+ verbments verifica verifiche verse
+ version versions versonotes vertbars vgrid
vhistory visualfaq visualpstricks visualtikz
vmargin vntex vocaltract volumes
voss-mathcol