diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-12-22 21:21:26 +0100 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-01-05 14:15:01 +0100 |
| commit | e07448ba6bdbbe9fb33fa0b652fef06635f1fc6d (patch) | |
| tree | 85e5cd53f98250a6a3d6f995f14bbc377600e4fe /doc/manual/local.mk | |
| parent | caebe4112eb491d0168cf423174bccba918330f6 (diff) | |
convert table to subsections
this form is much easier to maintain (also with minimal diffs), and
allows for more details on each operator.
this change a purely mechanical transformation, without changing any contents.
Diffstat (limited to 'doc/manual/local.mk')
0 files changed, 0 insertions, 0 deletions