diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-01-19 11:31:52 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-19 11:31:52 +0100 |
| commit | 627abd640e94159ccdc5c6615fbbca347ade3b63 (patch) | |
| tree | 1b47c4eaef6004f4f073a24d19afd06e5dabbe75 /CheckInsert.agda | |
| download | bidiragda-627abd640e94159ccdc5c6615fbbca347ade3b63.tar.gz | |
added .gitignore
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions