Revision affc7564d9d7ff4a6e6029400f3a0512a9857091

Committed on 17/10/2018 6:35 am by Petar Å panja <[email protected]> [GitHub Diff]

Remove duplicate doc