diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-10-24 00:21:07 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-10-24 00:21:07 +0200 |
| commit | 288c7160d7ab892ed8e45e57f772bc0ebf180649 (patch) | |
| tree | bb3cd255cf24c92ff7a21e647e8efb178e1905ec /contrib | |
| parent | 2cb6c5b9fe5813aab586674cc6f81c2839ae0f8b (diff) | |
more error codes for tipping
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions