diff options
author | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2015-11-29 15:38:47 +0200 |
---|---|---|
committer | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2015-11-29 15:38:47 +0200 |
commit | c81c671131e3a20b4d97f4b2207c62ca73dfdee2 (patch) | |
tree | 1c92668e8aec13cedfe3f65cb6449fb2f86923c0 /tools | |
parent | 46c5fda91df548961b931ec8ca7026d7984e3761 (diff) |
Run -doctool on existing documentation
Also, s/vecor/vector/
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions