Fini Jastrow aef01c4f4f CI: Automatically deploy webfonts [skip ci] ... [why] The webfonts are needed for the cheat sheet. When we update the sheet code we probably need also new fonts. The fonts might contain fixes also if there is no need for a new sheet, so they have to be updated on every release. [how] Add mini-script that generates the woff's from the latest 'ttf'. This makes it easier to check the woffs manually. Let the workflow create the woffs, and push them to the gh-pages. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2022-12-16 17:14:30 +01:00
..
ISSUE_TEMPLATE	Fix wiki link in feature request template [skip ci]	2022-04-09 00:20:22 +02:00
workflows	CI: Automatically deploy webfonts [skip ci]	2022-12-16 17:14:30 +01:00
PULL_REQUEST_TEMPLATE.md	Remove mentions of master branch [skip ci]	2022-10-17 11:50:53 +02:00