diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-05-31 13:08:20 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-05-31 13:08:20 -0500 |
commit | b9f47b4c948e2aab68303a14903e60bee0a449b8 (patch) | |
tree | 8f8db43e71fe90640cbbef01e25db35c4b6b026e /src/proof | |
parent | 97f67691287a001412dbb2ddb4a372f204b27498 (diff) |
Minor fix to last commit.
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions