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 /src/settings.sml | |
| parent | 3cf49898acbf6701b04a1de4938241f1009c5e5a (diff) | |
Better client-side error messages for RPC failures
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions