summaryrefslogtreecommitdiff
path: root/tools/proof
diff options
context:
space:
mode:
authorJohn Wiegley <johnw@newartisans.com>2009-11-15 05:49:18 -0500
committerJohn Wiegley <johnw@newartisans.com>2009-11-15 05:49:54 -0500
commit21a9fe108e1ec76d7b09dc09a3292f4082d26ea0 (patch)
treed8101348e17a20c6e191d7c332ea808ca655420b /tools/proof
parent2a411b5c1d974b73471f1f7c9a79db204c79d1d9 (diff)
downloadfork-ledger-21a9fe108e1ec76d7b09dc09a3292f4082d26ea0.tar.gz
fork-ledger-21a9fe108e1ec76d7b09dc09a3292f4082d26ea0.tar.bz2
fork-ledger-21a9fe108e1ec76d7b09dc09a3292f4082d26ea0.zip
Made the account and tag directives more rational
Now you must specify "account / end account", and "tag / end tag". For backwards compatability, plain "end" is the same as "end account".
Diffstat (limited to 'tools/proof')
0 files changed, 0 insertions, 0 deletions