Revision 6141d33f350add7647e1e602f921e2594c75a2ff

Committed on 08/12/2022 5:25 am by Edi Modrić <[email protected]> [GitHub Diff]

Remove obsolete file