Update documentation navigation#817
Merged
tdreyno merged 4 commits intomiddleman:masterfrom AlexB52:update_documentation_navigationJul 2, 2019
+30-8
Commits
Commits on Jul 2, 2019
- committedAlexandre Barret
- committedAlexandre Barret
- committedAlexandre Barret
- committedAlexandre Barret