diff options
| author | David A. Madore <david+git@madore.org> | 2016-02-29 18:41:10 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-02-29 18:41:10 +0100 |
| commit | bcfb164aa4d3756151e436f855d94a62647a672c (patch) | |
| tree | 4037c2e52e7c6a36bb649c0dcfc9eac7cdbf870f /vc | |
| parent | 21330eddd36e8cf14b96b21ebcbdacec2d68df3b (diff) | |
| download | accq205-bcfb164aa4d3756151e436f855d94a62647a672c.tar.gz accq205-bcfb164aa4d3756151e436f855d94a62647a672c.tar.bz2 accq205-bcfb164aa4d3756151e436f855d94a62647a672c.zip | |
Unfinished proof.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions