diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-05-10 16:55:08 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-05-10 16:55:14 +0200 |
| commit | 474f374d2d9b16d32a451d47092119dfb414c244 (patch) | |
| tree | aa64710e53f5921beb155c36dc25362d91ccdb3c /doc/paper | |
| parent | 6bf006e6364e0f1ae5d3afa079260f851a321a4c (diff) | |
improve history error reporting by test
Diffstat (limited to 'doc/paper')
0 files changed, 0 insertions, 0 deletions