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