[shell_banner] Avoid printing Ctrl-B prompt if BANNER_TIMEOUT <= 0
-rw-r--r-- 17982 COPYING
-rw-r--r-- 908 COPYRIGHTS
-rw-r--r-- 342 LOG
-rw-r--r-- 1650 README
drwxr-xr-x - contrib
drwxr-xr-x - src