diff options
| author | John Wiegley <johnw@newartisans.com> | 2012-03-01 17:32:51 -0600 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2012-03-01 17:32:51 -0600 |
| commit | f6c087cfe48e6410db61a9367ce7c718a490af77 (patch) | |
| tree | a2130aa5b47c3dd17ab698db9374343915193579 /tools/proof | |
| parent | ff89cb9c4de8240d7a7f79406755a86d8d2d5f18 (diff) | |
| download | fork-ledger-f6c087cfe48e6410db61a9367ce7c718a490af77.tar.gz fork-ledger-f6c087cfe48e6410db61a9367ce7c718a490af77.tar.bz2 fork-ledger-f6c087cfe48e6410db61a9367ce7c718a490af77.zip | |
Added a new 'python' directive
Diffstat (limited to 'tools/proof')
0 files changed, 0 insertions, 0 deletions