rdline: add a pager that can be used by user-defined commands
[libcmdline.git] / src / lib / cmdline_parse_file.h
2011-03-13 Olivier Matzcmdline: add a new 'file' token