diff options
| author | John Wiegley <johnw@newartisans.com> | 2010-06-12 00:29:22 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2010-06-12 00:30:00 -0400 |
| commit | 5260d195484c65864437740954abc1182d781002 (patch) | |
| tree | f1a58c7abe2dca424b104a4e778bafd3b80d9f1e /tools/proof | |
| parent | 3e4b08478be15a9d16a18e09ddaf98afe7cdc8b7 (diff) | |
| download | fork-ledger-5260d195484c65864437740954abc1182d781002.tar.gz fork-ledger-5260d195484c65864437740954abc1182d781002.tar.bz2 fork-ledger-5260d195484c65864437740954abc1182d781002.zip | |
Minor corrections to tools/pre-commit
Diffstat (limited to 'tools/proof')
0 files changed, 0 insertions, 0 deletions