diff options
| author | tomberek <tomberek@users.noreply.github.com> | 2022-05-20 01:48:24 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-20 01:48:24 -0400 |
| commit | 542e36c6e7ed5efa3d60e5adfc37ff7bb7e90a41 (patch) | |
| tree | f20b96d701604f86129763e8d4e56c9fdead50a3 /doc/manual | |
| parent | db613a85fb7fb8c8a0f476f83db92523cce327f7 (diff) | |
Apply suggestions from code review
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions