explorer: fix wrong file names

This commit is contained in:
David Lechner
2022-04-08 11:58:13 -05:00
parent 825607952f
commit 1c30683b93
3 changed files with 0 additions and 0 deletions