Man pages for gaborcsardi/readline
Nice and Easy Terminal Input

read_lineRead a line from the terminal
gaborcsardi/readline documentation built on May 14, 2017, 5:34 a.m.