Pieter Vander Vennet e13e9f652c Chore: reordering attributes to have a fixed order		2023-10-30 18:08:38 +01:00
..
license_info.json	Unify some license expressions	2023-07-27 02:51:59 +02:00
picnic_table.json	Chore: reordering attributes to have a fixed order	2023-10-30 18:08:38 +01:00
picnic_table.svg	Autoreformat all the things	2022-01-18 18:52:42 +01:00
picnic_table.svg.license	More steps toward REUSE-compliance	2023-07-27 03:32:49 +02:00