summaryrefslogtreecommitdiff
path: root/tools/proof
diff options
context:
space:
mode:
authorJohn Wiegley <johnw@newartisans.com>2009-02-25 20:02:53 -0400
committerJohn Wiegley <johnw@newartisans.com>2009-02-25 20:02:53 -0400
commit9db6e8cdbeaa3826f77d552499d60f7c5dacc3e9 (patch)
treed9c274fc78c81de545e5825b0911e2c0b4c6894f /tools/proof
parent7e43b937825f3cc3572b09aeffa5b345f11f7aee (diff)
downloadfork-ledger-9db6e8cdbeaa3826f77d552499d60f7c5dacc3e9.tar.gz
fork-ledger-9db6e8cdbeaa3826f77d552499d60f7c5dacc3e9.tar.bz2
fork-ledger-9db6e8cdbeaa3826f77d552499d60f7c5dacc3e9.zip
Added rm -fr test/python to distclean-local hook
Diffstat (limited to 'tools/proof')
0 files changed, 0 insertions, 0 deletions