diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2022-06-14 11:18:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-14 11:18:56 +0200 |
| commit | 0137df896e80d1a766efc2e89e627a1e027cbfa1 (patch) | |
| tree | b0934cf9c17732b9c7254e0c514008e3e79c1fd6 /pkgs/development/coq-modules/extructures/default.nix | |
| parent | 6e030d41bb67b47488936b6789e1284be80b9442 (diff) | |
| parent | fa01afcf7f4d98dc7953fb3ac22f68108d4a57d7 (diff) | |
Merge pull request #177370 from hercules-ci/nixpkgs-manual-promote-config-options-reference
doc: Promote config Options Reference to sub-chapter section
Diffstat (limited to 'pkgs/development/coq-modules/extructures/default.nix')
0 files changed, 0 insertions, 0 deletions