diff options
author | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2016-04-27 11:48:09 +0200 |
---|---|---|
committer | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2016-04-27 11:48:09 +0200 |
commit | 88c0a5c888747d207f2d5dc654af97956687b205 (patch) | |
tree | ea3cf047fe7fa12098760fcdaa1c68d82f6f93f6 /source/history.c | |
parent | 1661244407196a08796dad90bab523bd7e3169f1 (diff) | |
parent | 4be62503937e588847fe7b7c3ab4935d8374bb53 (diff) |
Merge pull request #389 from jamesbvaughan/master
Minor documentation typo fix
Diffstat (limited to 'source/history.c')
0 files changed, 0 insertions, 0 deletions