Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[why] With commit 1b630a9 CI: Use latest Nerd Font release font-patcher we switch to the Nerd Font Font-Patcher.zip release that contains the patcher script and all needed source fonts. We do not download them anymore on our own. Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
- Loading branch information