diff options
| author | DS <commits@sidhion.com> | 2024-03-21 02:53:14 -0700 |
|---|---|---|
| committer | DS <commits@sidhion.com> | 2024-03-21 07:59:55 -0700 |
| commit | cf94a85e99cb71743308ccd3781656df23fd98c9 (patch) | |
| tree | ecc295cbd37841b4c3bb7bbb0e9d4dd6b375a08f /pkgs/development/idris-modules/cube.nix | |
| parent | b2f29564730e757d24d154272e8e50fc2a831980 (diff) | |
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