summaryrefslogtreecommitdiff
path: root/tools/proof
diff options
context:
space:
mode:
authorJohn Wiegley <johnw@newartisans.com>2009-10-31 05:13:45 -0400
committerJohn Wiegley <johnw@newartisans.com>2009-10-31 05:13:45 -0400
commit64d2c3bd92e48ce46ea92fdbd09d3e8e7873514b (patch)
tree39b6c1fde843418959b5bd157cd5fda66ebc101d /tools/proof
parent423d674c6bec05a9d1be36b5a5125007bfbbbeef (diff)
downloadfork-ledger-64d2c3bd92e48ce46ea92fdbd09d3e8e7873514b.tar.gz
fork-ledger-64d2c3bd92e48ce46ea92fdbd09d3e8e7873514b.tar.bz2
fork-ledger-64d2c3bd92e48ce46ea92fdbd09d3e8e7873514b.zip
Removed build files from root that are now in tools
Diffstat (limited to 'tools/proof')
0 files changed, 0 insertions, 0 deletions