diff options
author | Karl Berry <karl@freefriends.org> | 2023-10-16 17:17:01 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2023-10-16 17:17:01 +0000 |
commit | 9d7f0c1688f065455defc9efe8765bc8c8b100a6 (patch) | |
tree | 6169e242f23a639679e950ebc84b1413b85245ea /Master/tlpkg/gpg | |
parent | 4b3b91ce79597afd74bcdd27284b18871fa02832 (diff) |
(remove_package): don't worry if a file to be
removed doesn't exist, for the case where we're
called from tl-update-containers.
git-svn-id: svn://tug.org/texlive/trunk@68562 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/gpg')
0 files changed, 0 insertions, 0 deletions