GitHub Merge Button b795b786b7 Merge dd29f4b4a2 into 167f84dacd		2011-10-10 05:40:23 -07:00
..
check_for_upgrade.sh	More fixes to the 'tools' shell-scripts.	2011-09-16 21:30:26 +01:00
common	Added file for things common to all tool-scripts.	2011-09-16 21:32:55 +01:00
install.sh	More fixes to the 'tools' shell-scripts.	2011-09-16 21:30:26 +01:00
require_tool.sh	Fix version parsing. Now working with command $ zsh --version	2011-04-13 17:24:44 +02:00
theme_chooser.sh	fixed theme chooser + options + list available themes + show all themes	2011-08-03 09:42:16 +02:00
uninstall.sh	More fixes to the 'tools' shell-scripts.	2011-09-16 21:30:26 +01:00
upgrade.sh	More fixes to the 'tools' shell-scripts.	2011-09-16 21:30:26 +01:00