Chris Buechler 687d0a6d05 remove the command number shown in the shell prompt, it's a pointless ... waste of screen space		2014-10-21 12:46:38 -05:00
..
dot.tcshrc	remove the command number shown in the shell prompt, it's a pointless	2014-10-21 12:46:38 -05:00