- 09 Apr, 2013 1 commit
-
-
Gaurav Misra authored
If the current directory has spaces, the script fails to change paths and fails.
-
- 10 Mar, 2013 1 commit
-
-
Deepu Sudhakar authored
-
- 15 Jan, 2012 1 commit
-
-
backspace authored
-
- 16 Nov, 2011 1 commit
-
-
Russell Harmon authored
update.sh is an "sh" script, not a zsh or bash script. On platforms which have real sh, echo does not have the -e option.
-
- 01 Aug, 2011 1 commit
-
-
Ilya Chesnokov authored
-
- 17 Jul, 2011 1 commit
-
-
Jake Bell authored
-
- 04 Jun, 2011 1 commit
-
-
vguerci authored
-
- 03 Jun, 2011 1 commit
-
-
Andrew Hodges authored
Make tools/install.sh and tools/upgrade.sh pretty.
-
- 03 Jun, 2010 1 commit
-
-
Robby Russell authored
-
- 07 May, 2010 1 commit
-
-
Robby Russell authored
-
- 24 Sep, 2009 1 commit
-
-
Robby Russell authored
-
- 31 Aug, 2009 1 commit
-
-
Robby Russell authored
-
