commit | f3e6c75c68d0bd5330e9e75cf3e6399d546575bf | [log] [tgz] |
---|---|---|
author | Diggory Hardy <dhardy@users.noreply.github.com> | Fri Jun 28 09:43:32 2019 +0100 |
committer | GitHub <noreply@github.com> | Fri Jun 28 09:43:32 2019 +0100 |
tree | 58472ff43e38087c89bc9b6f3f5ec849c3bc02fe | |
parent | 931932bd7dbdd41cc7ad1e3ecdf9754f9034b7c8 [diff] | |
parent | 418ae59b2fca08682765197a117a1e0c3cdfee14 [diff] |
Merge pull request #833 from vks/0.7-doc-fixes 0.7 doc fixes