Revision b4b303dfd9bf455f5bc04a34b506a3dacf4cae13

Committed on 17/10/2018 6:33 am by Petar Å panja <petar@spanja.info> [GitHub Diff]

Remove duplicated docs