Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Meta: remove robots.txt (let the build script handle it)
This was not picked up by the build script and it seems better to let the build script generate it anyway. See whatwg/html-build#148.
- Loading branch information