Documentation fix#703
Merged
DEKHTIARJonathan merged 8 commits intomasterfrom Jun 16, 2018
Merged
Commits
Commits on Jun 15, 2018
- authoredJonathan DEKHTIAR
Commits on Jun 16, 2018
- committedDEKHTIARJonathan
- committedDEKHTIARJonathan
- committedDEKHTIARJonathan
- committedDEKHTIARJonathan
- committedDEKHTIARJonathan
- committedDEKHTIARJonathan
- committedDEKHTIARJonathan