delete unnecessary file#3980

riemannulus merged 2 commits intoplanetarium:mainplanetarium/libplanet:mainfrom

violet-ewgd:mainviolet-ewgd/first-good-issue-delete:mainCopy head branch name to clipboard