diff options
author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2024-05-01 23:10:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-01 23:10:59 +0200 |
commit | 6a72138d190e558b201e7ceea599f05bf89df98c (patch) | |
tree | 1ade6741bcf300eeeb26b9da64cc336f4797f5b7 /COPYING | |
parent | 95ac5ac25c50df186db9aa6a1748a5ff615176bd (diff) | |
parent | 0305d5e8e4d1a025780c828763a46e8bafbaefed (diff) |
Merge pull request #307828 from philiptaron/issue-208242/texlive
texlive: avoid top-level `with` in helper script
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions