Remove stray file that slipped in the repo (#1604)

* Remove stray file that slipped in the repo
This commit is contained in:
Weimin Yu
2022-04-25 17:08:58 -04:00
committed by GitHub
parent 7716eebfff
commit 60a011c593
View File