diff options
| author | Brendan Forster <brendan@github.com> | 2017-02-02 11:13:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-02 11:13:13 +0100 |
| commit | c110ba86478e47e65f8cefac2d9d75ddf16b4c19 (patch) | |
| tree | d7ab8e6e3f73c6e4d5ec8f388b4d1bfd30d0439d /Agda.gitignore | |
| parent | 100943c3ba8c1867e1f45370b69a873069e59ad9 (diff) | |
| parent | 869ed27de9d6781d4a9e03f12598497b171ccc06 (diff) | |
| download | gitignore-c110ba86478e47e65f8cefac2d9d75ddf16b4c19.tar.gz gitignore-c110ba86478e47e65f8cefac2d9d75ddf16b4c19.zip | |
Merge pull request #1996 from tonylotts/master
Ignore ensime files
Diffstat (limited to 'Agda.gitignore')
0 files changed, 0 insertions, 0 deletions