From: Michael Orlitzky Date: Thu, 1 Aug 2013 20:03:25 +0000 (-0400) Subject: Change "IP" to "HOST" in the --server arg. X-Git-Tag: 0.2.0~8 X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=95bd7958d5a3483ba2cbe232765138a7785b2429;p=haeredes.git Change "IP" to "HOST" in the --server arg. --- diff --git a/src/CommandLine.hs b/src/CommandLine.hs index b489c7e..2118f59 100644 --- a/src/CommandLine.hs +++ b/src/CommandLine.hs @@ -91,7 +91,7 @@ arg_spec = server = def &= groupname "Common flags" - &= typ "IP" + &= typ "HOST" &= help server_help, delegates = def