Pieter Vander Vennet 73d085749c Merge master		2024-11-07 11:11:25 +01:00
..
license_info.json	Unify some license expressions	2023-07-27 02:51:59 +02:00
playground.svg	Autoreformat all the things	2022-01-18 18:52:42 +01:00
playground.svg.license	More steps toward REUSE-compliance	2023-07-27 03:32:49 +02:00
playgrounds.json	Merge master	2024-11-07 11:11:25 +01:00