diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-07-28 15:55:41 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-07-28 15:55:41 +0200 |
| commit | be4654c344f0745d4c2eefb33a878bd1f23f6b40 (patch) | |
| tree | 22ca19a4bdc12a822916e2e5c1d19ac1293075b6 /doc/manual/generate-options.nix | |
| parent | 280543933507839201547f831280faac614d0514 (diff) | |
manual: fix section title in table of contents
Diffstat (limited to 'doc/manual/generate-options.nix')
0 files changed, 0 insertions, 0 deletions