diff options
author | Richard Hartmann <richih.mailinglist@gmail.com> | 2013-05-04 00:44:02 +0200 |
---|---|---|
committer | Richard Hartmann <richih.mailinglist@gmail.com> | 2013-05-04 00:44:02 +0200 |
commit | c27896dfdd7c9da4f7027c80b491e2c9435e2a01 (patch) | |
tree | 8cb299f6df35487eb97949882a2d90d8c3ab7797 /doc/design | |
parent | 126fe35ac641526d3877bc6eb0f05d4155c0cef2 (diff) |
Typo
Diffstat (limited to 'doc/design')
-rw-r--r-- | doc/design/assistant/blog/day_254__Android_app_polishing.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/design/assistant/blog/day_254__Android_app_polishing.mdwn b/doc/design/assistant/blog/day_254__Android_app_polishing.mdwn index 5a5a8c949..cbb6f7f15 100644 --- a/doc/design/assistant/blog/day_254__Android_app_polishing.mdwn +++ b/doc/design/assistant/blog/day_254__Android_app_polishing.mdwn @@ -25,7 +25,7 @@ due to some more problems with the network stack. * Jabber and Webdav don't quite work ("getProtocolByname: does not exist (no such protocol name: tcp)"). -* Ssh server fails. +* SSH server fails. ("Network/Socket/Types.hsc:(881,3)-(897,61): Non-exhaustive patterns in case") I suspect it will work if I disable the DNS expansion code. |