cmd/commands_http: clean Int options handling
authorAlexandre Terrasa <alexandre@moz-code.org>
Tue, 15 May 2018 17:43:34 +0000 (13:43 -0400)
committerAlexandre Terrasa <alexandre@moz-code.org>
Thu, 21 Jun 2018 00:45:30 +0000 (20:45 -0400)
commit3313f3af661d3d566714c4f4e57eb5777e993fa0
tree109ee6b74eff700ae4b818c30968dfd496aedeef
parent2cd87922ff6473f3d0fc7a5a665c04871f0a107c
cmd/commands_http: clean Int options handling

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/doc/commands/commands_http.nit