Merge: rename Sys::args
authorJean Privat <jean@pryen.org>
Wed, 23 Jul 2014 18:22:58 +0000 (14:22 -0400)
committerJean Privat <jean@pryen.org>
Wed, 23 Jul 2014 18:22:58 +0000 (14:22 -0400)
A step towards #461 since I do not want to do a mass migration.

Pull-Request: #613
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>


Trivial merge