make-options-docs: don't sort the options XML file#142040
Merged
domenkozar merged 1 commit intoNixOS:masterfrom Oct 18, 2021
pennae:optimize-module-docs
Merged
make-options-docs: don't sort the options XML file#142040domenkozar merged 1 commit intoNixOS:masterfrom pennae:optimize-module-docs
domenkozar merged 1 commit intoNixOS:masterfrom
pennae:optimize-module-docs
