Robin van der Linde f3d36efd41 Add options, website, missing badge (#1634 #1622)		2023-10-03 20:36:31 +02:00
..
layers	Add options, website, missing badge (#1634 #1622)	2023-10-03 20:36:31 +02:00
svg	Chore: formatting	2023-09-28 23:50:27 +02:00
themes	Chore: translation sync	2023-09-28 16:56:25 +02:00