diff options
| author | Benjamin Pierce <bcpierce00@users.noreply.github.com> | 2018-02-09 13:42:30 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-09 13:42:30 -0500 |
| commit | b93ed67818798766e21bcc14a74f41b13febcffc (patch) | |
| tree | 4f7c7bedc3da314aae054e5d7cf11d2eb82821d1 /unicode_utils | |
| parent | f8f30c3543183b0c72c046bf10e8f3376781e9ae (diff) | |
| parent | b203a37508fb0673214b943d2d8af02185ad6935 (diff) | |
| download | unison-b93ed67818798766e21bcc14a74f41b13febcffc.zip unison-b93ed67818798766e21bcc14a74f41b13febcffc.tar.gz unison-b93ed67818798766e21bcc14a74f41b13febcffc.tar.bz2 | |
Merge pull request #157 from g-raud/better-server-failure
Improve server failure message
Diffstat (limited to 'unicode_utils')
0 files changed, 0 insertions, 0 deletions