diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-01-26 11:45:06 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-26 11:45:06 +0100 |
| commit | 024635440449c8249cdff9d5637fcb7e02b5d293 (patch) | |
| tree | ac6e83c2ca80c1b41bb24154274b0d4f4dc54b6c /.gitignore | |
| parent | 90d67cb200626cdb0eb4ead36278af8119dfe661 (diff) | |
| download | bidiragda-024635440449c8249cdff9d5637fcb7e02b5d293.tar.gz | |
complete the yes part of lemma-checkInsert-generate using inspect
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions