diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-06-09 14:33:31 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-08-04 12:37:47 +0200 |
| commit | c345345deeb188830e62e9b2e957cf1d09d1c6b5 (patch) | |
| tree | 59d877fba6e14cdf9d5c2b82cf7ba3c7f9964d7e /doc/manual/src/SUMMARY.md.in | |
| parent | a28d6878b263270c7db271c414bef2c688bb872d (diff) | |
concept map: align hights
this has the weird but nice emergent property that terms at the same
height are roughly at the same level of abstraction.
Diffstat (limited to 'doc/manual/src/SUMMARY.md.in')
0 files changed, 0 insertions, 0 deletions