diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-10-31 06:08:27 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-10-31 06:09:07 -0400 |
| commit | 79b83df078fac4e34020bcc67c2dc450d0f08f55 (patch) | |
| tree | f39d142734be89e485f5f0dd498951da06caf721 /tools/pre-commit | |
| parent | 9cbc9705582aaebd051d53ca4ead1793d9f59211 (diff) | |
| download | fork-ledger-79b83df078fac4e34020bcc67c2dc450d0f08f55.tar.gz fork-ledger-79b83df078fac4e34020bcc67c2dc450d0f08f55.tar.bz2 fork-ledger-79b83df078fac4e34020bcc67c2dc450d0f08f55.zip | |
Fixes to proof build in acprep
Diffstat (limited to 'tools/pre-commit')
0 files changed, 0 insertions, 0 deletions