diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-20 11:41:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-20 11:41:39 -0700 |
| commit | 5e4e815d107de3b24de7804e31d4411f005ee995 (patch) | |
| tree | 4e318c3b00fb41e3d47ee2de94cd3a721be8715a /src/proof/acec | |
| parent | d22cb3f451a41af10f298e7c906921b874f3d4a6 (diff) | |
| download | abc-5e4e815d107de3b24de7804e31d4411f005ee995.tar.gz abc-5e4e815d107de3b24de7804e31d4411f005ee995.tar.bz2 abc-5e4e815d107de3b24de7804e31d4411f005ee995.zip | |
Fixing accidental change in the project file.
Diffstat (limited to 'src/proof/acec')
0 files changed, 0 insertions, 0 deletions