diff options
| author | Silvan Mosberger <contact@infinisil.com> | 2024-03-21 16:11:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-21 16:11:12 +0100 |
| commit | 1b54a5cb78a4287042b2f4b6a78b1947778c110e (patch) | |
| tree | e95cc1af373bfa48a9f75be126fad6bdd7c351b5 /pkgs/development/idris-modules/cube.nix | |
| parent | 9a21db7be899fd0c12be15b690c79acf493feeee (diff) | |
| parent | cf94a85e99cb71743308ccd3781656df23fd98c9 (diff) | |
Merge pull request #297687 from DanielSidhion/fix-manual-headings
doc: fix code to generate links for headings in the manual
Diffstat (limited to 'pkgs/development/idris-modules/cube.nix')
0 files changed, 0 insertions, 0 deletions