pennae 20152b4269 nixos/doc: remove docbook options compatibility ... no longer needed or useful, and may even produce false positives now that markdown is the default language for option docs.		2023-06-13 16:56:31 +02:00
..
default.nix	nixos/doc: remove docbook options compatibility	2023-06-13 16:56:31 +02:00
mergeJSON.py	nixos/doc: remove docbook options compatibility	2023-06-13 16:56:31 +02:00