Luis Felipe Sánchez c92d12bed1 Fixed and improved the theme ... Corrected problem with prompt where sometimes keeped part of previous commands when scrolling history		2017-05-12 11:57:21 -05:00
..
BrainyTheme.gif	Fixed and improved the theme	2017-05-12 11:57:21 -05:00