diff options
| author | David A. Madore <david+git@madore.org> | 2012-05-28 20:58:36 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2012-05-28 20:58:36 +0200 |
| commit | e686d3fcf22f26b6c284013bab9064505472c605 (patch) | |
| tree | d247a3c6169d2a8038ad788f307eb72d98410540 /git: | |
| parent | f0ff0cff7813db523b3eab781d18e2af06d36d00 (diff) | |
| download | mdi349-e686d3fcf22f26b6c284013bab9064505472c605.tar.gz mdi349-e686d3fcf22f26b6c284013bab9064505472c605.tar.bz2 mdi349-e686d3fcf22f26b6c284013bab9064505472c605.zip | |
Re-add some proofs that had been removed.
Diffstat (limited to 'git:')
0 files changed, 0 insertions, 0 deletions