Merge: Opts: small improvement
authorJean Privat <jean@pryen.org>
Wed, 23 Jul 2014 18:22:54 +0000 (14:22 -0400)
committerJean Privat <jean@pryen.org>
Wed, 23 Jul 2014 18:22:54 +0000 (14:22 -0400)
commitd1050a8981acf0abc30656216a18c46e0f550759
tree840fc185607efadfc8c930b87fad9eab74fe71b9
parent1f67b392d1ab94a5285c291ee534bff65b6e0933
parent15cc5dcac56a15ccdba0910b89cef9d06339116c
Merge: Opts: small improvement

- syntax & comment
- hide an option
- fix an old bug

This rewrites and closes #531

Pull-Request: #612
Reviewed-by: Frédéric Vachon <fredvac@gmail.com>
Reviewed-by: Alexandre Terrasa <alexandre@moz-code.org>
lib/opts.nit