Revision 6141d33f350add7647e1e602f921e2594c75a2ff

Committed on 08/12/2022 5:25 am by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Remove obsolete file