Revision 64cb76f0f2184a2367a2b3d155956f495762e215

Committed on 24/03/2020 3:41 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Remove obsolete docs