tree ef0a933d2b6df1b21d5acec7d298efe484cc551d
parent e8b3cf7ee9fc1f04fd03e46a127f09935c0f335b
author gwenn <gtreguier@gmail.com> 1536488870 +0200
committer gwenn <gtreguier@gmail.com> 1536490074 +0200

Flag ReadlineError, Cmd, KeyPress as non exhaustive