Fini Jastrow 95cae8fd81 Drop "Complete" from font names ... [why] Nowadays the Complete font is the normal font. We already dropped the partially patched fonts long ago. If someone is self patching they will know if it is a basic font or a complete font. And already now one can not see if the patched font is bare minimum (i.e. Seti, Custom, and Devi) or includes Powerline and/or PowerlineExtra. [how] Just drop "Complete" from the naming. [note] As the name changes and thus the file name a lot of the other scripts will break. But they might break anyhow because other naming changes, so fix that as last commit. See also commit 557fc004c Attempt to fix duplicate fonts in fontbook on osx Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>		2023-04-14 08:01:12 +02:00
..
ISSUE_TEMPLATE	Update bug_report.md	2022-12-21 17:18:33 +01:00
workflows	Drop "Complete" from font names	2023-04-14 08:01:12 +02:00
PULL_REQUEST_TEMPLATE.md	Remove mentions of master branch [skip ci]	2022-10-17 11:50:53 +02:00