[Backport release-22.05] make-options-doc: Support Nix-provided declaration links#178573
Merged
roberth merged 2 commits intorelease-22.05from Jul 5, 2022
Merged
[Backport release-22.05] make-options-doc: Support Nix-provided declaration links#178573roberth merged 2 commits intorelease-22.05from
roberth merged 2 commits intorelease-22.05from
Commits
Commits on Jun 22, 2022
- authored andcommitted
- authored andcommitted
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}