6 commits

Author	SHA1	Message	Date
Finii	6fa413d6bc	[ci] Bump release version	2024-04-12 14:31:51 +00:00
Fini Jastrow	1ddfb70dd3	FontAwesome: Regerenate font ... Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2024-04-08 18:11:23 +02:00
Fini Jastrow	f089ee8a6e	Font Awesome: Update to 6.5.1 ... This does not pull in all icons of 6.5.1, but only of 'Region A' and 'Region B', see script `remix` and PR #1563. It keeps the codepoints constant for existing icons. Fixes: #1550 Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2024-04-02 18:24:46 +02:00
Andrew Newman	e8e191a1be	Update bash shebangs	2018-07-09 18:18:12 +03:00
Ryan L McIntyre	d941e4472d	ShellCheck fixes WIP (related to #120)	2018-01-10 21:14:57 -05:00
Alex Efros	46b6ff707d	Add shell scripts to map names to icons	2017-03-31 06:20:08 +03:00