diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-07-20 08:30:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-20 08:30:45 -0700 |
| commit | cc94cfc7e9dc99655ae4913bc4f3631504605fc0 (patch) | |
| tree | 4d9b6d18e3eea77a0fefe9c4ce156f26cd6c578a /Coq.gitignore | |
| parent | 8edb8a95c4c4b3dce71a378aaaf89275510b9cef (diff) | |
| download | gitignore-cc94cfc7e9dc99655ae4913bc4f3631504605fc0.tar.gz gitignore-cc94cfc7e9dc99655ae4913bc4f3631504605fc0.zip | |
Ignore .ghc.environment.*
Diffstat (limited to 'Coq.gitignore')
0 files changed, 0 insertions, 0 deletions