Revision e3d75453f8ec7ef5c630a91319bf9ea98eee0396 authored by Jason Gross on 26 November 2019, 04:25:21 UTC, committed by GitHub on 26 November 2019, 04:25:21 UTC
Also ignore *.vok
| File | Mode | Size |
|---|---|---|
| .builds | ||
| bedrock2 | ||
| compiler | ||
| deps | ||
| end2end | ||
| processor | ||
| .gitignore | -rw-r--r-- | 826 bytes |
| .gitmodules | -rw-r--r-- | 279 bytes |
| .travis.yml | -rw-r--r-- | 632 bytes |
| AUTHORS | -rw-r--r-- | 51 bytes |
| CONTRIBUTORS | -rw-r--r-- | 30 bytes |
| LICENSE | -rw-r--r-- | 1.1 KB |
| Makefile | -rw-r--r-- | 2.4 KB |
| README.md | -rw-r--r-- | 2.0 KB |
| coqc-try-mangle-names.sh | -rwxr-xr-x | 855 bytes |
| manglenames-stats.sh | -rwxr-xr-x | 520 bytes |
| refactor_sed.sh | -rwxr-xr-x | 506 bytes |
| unique_coqdep_warnings.sh | -rwxr-xr-x | 98 bytes |
Computing file changes ...
