Brian Picciano f13a08abfb Use JSON instead of YAML for files which aren't intended for human editing		2024-06-10 18:56:36 +02:00
..
admin	Use JSON instead of YAML for files which aren't intended for human editing	2024-06-10 18:56:36 +02:00
dev	Use JSON instead of YAML for files which aren't intended for human editing	2024-06-10 18:56:36 +02:00
operator	Perform all in-code renames which don't affect actual functionality	2023-08-05 23:53:17 +02:00
user	Use JSON instead of YAML for files which aren't intended for human editing	2024-06-10 18:56:36 +02:00
glossary.md	Perform all in-code renames which don't affect actual functionality	2023-08-05 23:53:17 +02:00
roadmap.md	Year-end roadmap review	2023-12-22 17:30:24 +01:00
shell.nix	Fix doc generation, remove cryptic references from plantuml	2023-08-13 15:51:06 +02:00