diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-01-18 12:16:24 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-01-18 12:25:05 +0100 |
commit | 6c19ca1f92c014a9a7155e159fda592733fb1d4c (patch) | |
tree | 19e622d8d9f79624b9403d2d3555f93a5b9dec57 /.gitignore | |
parent | 08ede8ef5edd8bfe6b80d0900bd9bd65b2d45cbf (diff) | |
parent | 7e08e29117546aae66b0b418b2044f77b70b312f (diff) |
Merge pull request #3490
7e08e29 better std::exception logging for block/undo files (Philip Kaufmann)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions