diff options
author | Christian Grothoff <christian@grothoff.org> | 2017-05-16 09:53:34 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2017-05-16 11:05:01 +0200 |
commit | 82cec70298c56188ae7ff3caabc1d39d5916ddc9 (patch) | |
tree | 2bdfbf9b4698a57f9fbe975b50ecc08e556cece1 /doc | |
parent | 9916eef3dbb22ba0be8268d0e8bfa6ca5372d756 (diff) |
nicer error reporting
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions