summaryrefslogtreecommitdiff
path: root/Master/README.usergroups
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2019-06-27 00:51:49 +0000
committerNorbert Preining <preining@logic.at>2019-06-27 00:51:49 +0000
commit80a3c0c93696d93ef69fb9fc7436c30d8ef88911 (patch)
tree662918a268ec9eac19d7309515da145d84b71ec0 /Master/README.usergroups
parentcc912630e4592227bef3c67146383be98fbcebe5 (diff)
pinning: don't warn on not-hit pattern in case of catch-all presence
If a pin repo:* is found, we don't warn that a pattern repo:package is not matched. Any other glob line than * will trigger warnings, i.e. repo:*a* repo:package will give a warning that the second line is not matched, as before. git-svn-id: svn://tug.org/texlive/trunk@51487 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/README.usergroups')
0 files changed, 0 insertions, 0 deletions