Fini Jastrow 3dde174ca5 CI: Fix: Add font with references ...

[why]
The font is not available on the Github Workflow VM.

[how]
But we have it in the repo anyhow...

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>

2023-03-10 11:37:18 +01:00

..

ISSUE_TEMPLATE

Update bug_report.md

2022-12-21 17:18:33 +01:00

workflows

CI: Fix: Add font with references

2023-03-10 11:37:18 +01:00

PULL_REQUEST_TEMPLATE.md

Remove mentions of master branch [skip ci]

2022-10-17 11:50:53 +02:00