diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-11-09 11:23:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-09 11:23:26 +0100 |
| commit | f225f4307662fe9a57543d0c86c28aa9fddaf0d2 (patch) | |
| tree | 5d47c136616ad70fac113398757faf8e50f1ac16 /doc/manual/generate-builtins.nix | |
| parent | ffca3e34cb59a5cd18669805d968eaeaa158c0f0 (diff) | |
| parent | daedaa197dbbb688323f2b22b898304c24f9c051 (diff) | |
Merge pull request #7006 from fricklerhandwerk/redirects
manual: generalize anchor redirects
Diffstat (limited to 'doc/manual/generate-builtins.nix')
0 files changed, 0 insertions, 0 deletions