-
Notifications
You must be signed in to change notification settings - Fork 103
Commit
I'm not sure why these were generated as empty files, but they're not useful so lets delete them. I'll look into how these were generated separately. Notified of these as @jtristan applies the https://github.com/leanprover/SHerLOC project to testdata files. Fixes #2537, confirmed that there are 38 lines in that issue and 38 files removed in this PR.
- Loading branch information
There are no files selected for viewing
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.