Fini Jastrow 2050b4dc16 CI: Fix patch-em-all: Purge destination dirs if possible ... [why] The purged (obsolete) files are still existing after release. [how] We restore the deleted files before it adds the new ones. Just delete all font files and then download all the release files (all newly created fonts). `git add` on a directory will remove all missing files. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2022-08-19 13:24:39 +02:00
..
ISSUE_TEMPLATE	Fix wiki link in feature request template [skip ci]	2022-04-09 00:20:22 +02:00
workflows	CI: Fix patch-em-all: Purge destination dirs if possible	2022-08-19 13:24:39 +02:00
PULL_REQUEST_TEMPLATE.md	simplifies the PR template	2021-12-19 19:20:06 -08:00