diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-07-28 17:09:53 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-07-28 17:23:57 +0200 |
| commit | 3063e5b94c1cc1f64cea6af792513c1a04e12155 (patch) | |
| tree | 28e133956dac948c0159caee7ef0df2e620115a8 /Makefile | |
| parent | 86fcd4f6923b3a8ccca261596b9db0d8c0a873ec (diff) | |
manual: use subheadings for primitive types
this gives us HTML anchors for each of them
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions