doc: fix spelling
* doc/tools.texi: fix a handful of minor spelling errors.
- Signed-off-by: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
Description
Description
Details
Details
- Provenance
dkg Authored on Nov 18 2018, 11:33 PM - Parents
- rG2671c4dda3db: Post release updates
- Branches
- Unknown
- Tags