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 | 7f6d55c4b44a7e17d17b721e0d5a967f3c5fa6aa (patch) | |
tree | ecfdb7a95770edea0c257496433da40eee9ad482 /tests/relops.urp | |
parent | 3cf49898acbf6701b04a1de4938241f1009c5e5a (diff) |
Better client-side error messages for RPC failures
Diffstat (limited to 'tests/relops.urp')
0 files changed, 0 insertions, 0 deletions