nitlanguage / nit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1f67b39 15cc5dc)
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)
- 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>

1  2 
lib/opts.nit patch | diff1 | diff2 | blob | history

diff --cc lib/opts.nit
Simple merge
Nit language project; an oo programing language and its tool suite.