David Alexander Majnemer ce6b097dbc remove bash title, it really did not work		2009-01-13 18:21: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
title_prompt	bug fix for title_prompt in bash, use proper globs	2009-01-13 01:33:19 -06:00