diff options
| author | John Wiegley <johnw@newartisans.com> | 2012-03-02 01:49:07 -0600 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2012-03-02 01:49:07 -0600 |
| commit | 4e4cbc6f1ef949b420818c02a4ced5d0adeaa751 (patch) | |
| tree | bd2ae10ede219cae749bb68947380217e69794cc /tools/proof | |
| parent | 1061cba97f0a749ac55d80316328f7788c9564cd (diff) | |
| download | fork-ledger-4e4cbc6f1ef949b420818c02a4ced5d0adeaa751.tar.gz fork-ledger-4e4cbc6f1ef949b420818c02a4ced5d0adeaa751.tar.bz2 fork-ledger-4e4cbc6f1ef949b420818c02a4ced5d0adeaa751.zip | |
Removed unneeded code
Diffstat (limited to 'tools/proof')
0 files changed, 0 insertions, 0 deletions