Revert "nixos/lib/make-options-doc: generate options.xml from options…#150623

Closed

sternenseemann wants to merge 1 commit intoNixOS:masterfrom

sternenseemann:revert-147265

Commits on Dec 14, 2021

Revert "nixos/lib/make-options-doc: generate options.xml from options.json"
sternenseemann
committed