diff options
author | John Wiegley <johnw@newartisans.com> | 2012-03-06 23:04:43 -0600 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2012-03-06 23:04:43 -0600 |
commit | 75603edeb4853b1e563f525bcc3482609853a975 (patch) | |
tree | 9a1276879de3895a6d140e48a334f9cabcabc1e0 /src/history.h | |
parent | 71d0033b6f65260698cf0bf367002a9b6429a3fd (diff) | |
download | fork-ledger-75603edeb4853b1e563f525bcc3482609853a975.tar.gz fork-ledger-75603edeb4853b1e563f525bcc3482609853a975.tar.bz2 fork-ledger-75603edeb4853b1e563f525bcc3482609853a975.zip |
Send myself e-mail after a successful proof build
Diffstat (limited to 'src/history.h')
0 files changed, 0 insertions, 0 deletions