diff options
| author | Norbert Preining <preining@logic.at> | 2019-06-27 00:51:49 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2019-06-27 00:51:49 +0000 |
| commit | 80a3c0c93696d93ef69fb9fc7436c30d8ef88911 (patch) | |
| tree | 662918a268ec9eac19d7309515da145d84b71ec0 /Build | |
| parent | cc912630e4592227bef3c67146383be98fbcebe5 (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 'Build')
0 files changed, 0 insertions, 0 deletions