mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Typo

Browse source
This commit is contained in:
Richard Hartmann 2013-05-04 00:44:02 +02:00
parent 242c0a0210
commit 50911c1a6d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/design/assistant/blog/day_254__Android_app_polishing.mdwn
View file

@ -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 * Jabber and Webdav don't quite work ("getProtocolByname: does not exist (no
such protocol name: tcp)"). such protocol name: tcp)").
* Ssh server fails. * SSH server fails.
("Network/Socket/Types.hsc:(881,3)-(897,61): Non-exhaustive patterns in case") ("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. I suspect it will work if I disable the DNS expansion code.