diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-01-22 22:36:16 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-22 22:36:16 +0100 |
| commit | 0a34343e2cd20be26411af267a57b54fd300cf38 (patch) | |
| tree | 5bc0a14abf3209642614e6fbd2682ca2359c8df4 /.gitignore | |
| parent | 2f01bfa8f4580eb0777a66946c62dd5af6f2867c (diff) | |
| download | bidiragda-0a34343e2cd20be26411af267a57b54fd300cf38.tar.gz | |
formulate lemma-2
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions