toolcontext: add --stub-man
authorJean Privat <jean@pryen.org>
Mon, 6 Oct 2014 12:48:32 +0000 (08:48 -0400)
committerJean Privat <jean@pryen.org>
Wed, 15 Oct 2014 19:00:53 +0000 (15:00 -0400)
commitc143788b28ebf3d501953d1e209859b234a7f9d2
tree8537181fc5abe228523e2c1d446aab9713e5bc6e
parentd65a790f0f95a5d752ea8ca1beca81f71368ddeb
toolcontext: add --stub-man

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