Quick doc update #2

Merged
SoniEx2 merged 1 commit from dev into master 2018-12-03 16:38:22 +01:00

1 commit

Author SHA1 Message Date
1074cc7ee3 Quick doc update 2018-12-03 13:33:19 -02:00