William Lallemand 459e18e9e7 MINOR: cli: use pcli_flags for prompt activation
Instead of using a variable to activate the prompt, we just use a flag.
2018-12-11 17:05:40 +01:00
..
2018-11-18 22:23:15 +01:00
2018-11-12 18:37:55 +01:00
2009-01-25 13:49:53 +01:00
2018-12-01 17:37:27 +01:00