Revision 4a69b61cc6c0e4dbdaa5e7bc46553b14de3940fa

Committed on 07/09/2022 1:11 am by Edi Modric <edi.modric@gmail.com> [GitHub Diff]

Remove unneeded file