nitin: keep the line number increasing between prompts
authorJean Privat <jean@pryen.org>
Tue, 21 Nov 2017 16:26:01 +0000 (11:26 -0500)
committerJean Privat <jean@pryen.org>
Tue, 21 Nov 2017 17:13:34 +0000 (12:13 -0500)
commitf0dbdaa21396ba720a377e1a6f6ca60003aeafc0
treed2776d21de1bfafe04dee9e69b93377a6d1b7dec
parent3cc162835ee903c79933b4de442b3d0dbdc664c5
nitin: keep the line number increasing between prompts

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