David Alexander Majnemer 45e911cf6c remove title_prompt		2009-01-13 18:23:37 -05:00
..
completion	remove three bashism, over-use of [[ ]], $() and source	2009-01-13 01:39:40 -06:00
git	remove three bashism, over-use of [[ ]], $() and source	2009-01-13 01:39:40 -06:00
options	clean up bash options	2009-01-13 17:19:13 -05:00
prompt	remove bash title, it really did not work	2009-01-13 18:21:37 -05:00