log lib/readline/readline.sh @ 140:ef65bd5eb573

age author description
Mon, 11 Mar 2019 16:33:11 +0100 David Demelier lib: merge .sh and .info
Sat, 09 Mar 2019 13:49:57 +0100 David Demelier lib/readline: initial import, closes #1136