log lib/readline/readline.sh @ 145:7c631ce1660f

age author description
Mon, 11 Mar 2019 20:30:00 +0100 David Demelier vanilla: remove useless --target
Mon, 11 Mar 2019 16:33:11 +0100 David Demelier lib: merge .sh and .info