remove useless file (#5991)

This commit is contained in:
Henrique Joaquim
2024-01-24 10:20:38 +00:00
committed by GitHub
parent 03197c9a41
commit ea9cedbb2e