diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2023-01-03 11:21:21 +0100 |
|---|---|---|
| committer | Robert Hensing <robert@roberthensing.nl> | 2023-01-10 22:30:41 +0100 |
| commit | fefa3a49ce67998923af0b6c927cb9cea1f4ceaa (patch) | |
| tree | 4bc679c903157c3bb7ea3763f0fe51c1ef663464 /local.mk | |
| parent | fd2af69e600fdf0e06c996df607d560b222f7a38 (diff) | |
doc/manual: Apply suggestions from code review
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions