Fini Jastrow efe57c44fd Fix: Merge pull request #1179 ... [why] The font-patcher check workflow fails because the font used for testing is gone (replaced by differently named one). [how] Correct file names. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2023-04-27 18:59:32 +02:00
..
ISSUE_TEMPLATE	Update bug_report.md	2022-12-21 17:18:33 +01:00
workflows	Fix: Merge pull request #1179	2023-04-27 18:59:32 +02:00
PULL_REQUEST_TEMPLATE.md	Remove mentions of master branch [skip ci]	2022-10-17 11:50:53 +02:00