This repository has been archived on 2024-09-05. You can view files and clone it, but cannot push or open issues or pull requests.

Shish 8fb6fd5f54 stricter nulls		2023-06-27 17:45:35 +01:00
..
info.php	Namespaces are one honking great idea—let's do more of those!	2023-01-10 22:44:09 +00:00
main.php	always have a Themelet, never null	2023-06-27 16:11:14 +01:00
test.php	nits	2023-01-11 11:15:26 +00:00
theme.php	stricter nulls	2023-06-27 17:45:35 +01:00