diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/proof | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/proof b/tools/proof index 30627d65..b9038769 100755 --- a/tools/proof +++ b/tools/proof @@ -39,4 +39,4 @@ ledger_proof() { } ledger_proof ${1:-$HOME/src/ledger} \ - ${2:-$HOME/Products) ${3:-$HOME/Library/Logs}
\ No newline at end of file + ${2:-$HOME/Products} ${3:-$HOME/Library/Logs}
\ No newline at end of file |