Bram Kragten fa38baaee8 Resize badges (#408)		2023-11-21 18:07:27 +01:00
..
fonts	Update badges to new design (#392)	2023-10-03 10:30:00 +02:00
rollup-plugins	Build per entrypoint	2021-02-07 21:21:38 +00:00
create-badges.js	Resize badges (#408)	2023-11-21 18:07:27 +01:00
paths.js	Split	2021-02-05 15:39:29 +01:00
sort-redirects.js	Store redirects sorted (#27)	2021-02-24 11:23:57 +01:00