Merge pull request #715 from rmitton/doc_fixes
authorKim Kulling <kimkulling@users.noreply.github.com>
Mon, 14 Dec 2015 08:12:17 +0000 (09:12 +0100)
committerKim Kulling <kimkulling@users.noreply.github.com>
Mon, 14 Dec 2015 08:12:17 +0000 (09:12 +0100)
commit40272b4d263fa685f7c17cb98ccb4f7d00e9fb70
tree0bd6e5a99a1f76df45fac3489def34119129cb51
parentdb96007f77a54cd86c2df7440ae24b70fa299068
parent957426ed725fe11a6c4be99ba98aad1c75e60565
Merge pull request #715 from rmitton/doc_fixes

Tiny misc fixes for documentation