Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
(weren't we supposed to use unicode functions in this file??? idk whatever, i'm just copying delete_file() here)
- Loading branch information