diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-11-01 12:23:44 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-11-01 12:23:44 -0500 |
| commit | 808afe59b97b345f05d16d1a99bbd24c466c8cbf (patch) | |
| tree | ecfdb7a95770edea0c257496433da40eee9ad482 /src | |
| parent | 6fead9bd93c982e05fbb5f13e3c866b3acf3ba08 (diff) | |
Better client-side error messages for RPC failures
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions