diff options
author | Robert Hensing <robert@roberthensing.nl> | 2022-06-12 08:26:50 +0200 |
---|---|---|
committer | Robert Hensing <robert@roberthensing.nl> | 2022-06-12 08:27:15 +0200 |
commit | fa01afcf7f4d98dc7953fb3ac22f68108d4a57d7 (patch) | |
tree | 8df05008557359f7420119374bf4f85ca704eefa /pkgs/development/coq-modules/iris/default.nix | |
parent | ec4e23d4e97b0391fafc356fd2625e8e93fc11f9 (diff) |
doc: Promote config Options Reference to sub-chapter section
It was hidden in the insecure packages section.
- Lift it out.
- Add an id
Diffstat (limited to 'pkgs/development/coq-modules/iris/default.nix')
0 files changed, 0 insertions, 0 deletions