diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-01-26 16:05:23 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-26 16:05:23 +0100 |
| commit | 1e2ddab6a91377a939d47e30ed1575b03784a09f (patch) | |
| tree | 72601f32229c8246ce9893e6f626fe7a59fe0faa /.gitignore | |
| parent | 9dca7fdaf192843f21f9785975ef52cace6558ee (diff) | |
| download | bidiragda-1e2ddab6a91377a939d47e30ed1575b03784a09f.tar.gz | |
reduce imports to speed up agda-mode
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions