patch #6192
commitf11dd373800a6e22c72e4b34a76d4e35031f7629
authorspiralvoice <spiralvoice>
Sun, 9 Sep 2007 14:54:19 +0000 (9 14:54 +0000)
committerspiralvoice <spiralvoice>
Sun, 9 Sep 2007 14:54:19 +0000 (9 14:54 +0000)
treed90cb6a08e2fc469a64e469f7b8d0186cbab12ec
parente817a458bb4e479a1fabb550e675dd0a7c223468
patch #6192
src/daemon/common/commonOptions.ml
src/networks/donkey/donkeyServers.ml