diff options
author | John Ericson <git@JohnEricson.me> | 2022-07-15 09:49:23 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-15 09:49:23 -0400 |
commit | 0e4ec98ae8a4ec60b24ebd676a9ace0f4ca81da8 (patch) | |
tree | 2e646746eac627ead28fb4da81f9b11818ebfa69 /doc/manual/local.mk | |
parent | 279ecf7cdee94b3b5e37e4ade3af3a6d20ca9cde (diff) |
Fix typo in docs
Thanks!
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
Diffstat (limited to 'doc/manual/local.mk')
0 files changed, 0 insertions, 0 deletions