toolcontext: new option -w to enable/disable warning
authorJean Privat <jean@pryen.org>
Tue, 30 Sep 2014 01:13:05 +0000 (21:13 -0400)
committerJean Privat <jean@pryen.org>
Tue, 30 Sep 2014 01:13:05 +0000 (21:13 -0400)
commit6592aa586b140b5f9a7c4a6838c29040dcc086ad
tree6005ed04c6d222fa718095f73ebe768bf1d54b3d
parentf0bf9b49b29bed411cb23cd4a73de3297bd129ec
toolcontext: new option -w to enable/disable warning

Signed-off-by: Jean Privat <jean@pryen.org>
src/toolcontext.nit