Fix the patch: when converting it to the new version (20200215), forgot to remove temporary files

This commit is contained in:
D. Guthrie 2020-04-21 19:04:51 +01:00
parent cdc8f3f357
commit fcedd9f78e

File diff suppressed because it is too large Load Diff