T. Joseph Carter d1359a26af Need to specify name of git clone directory (dunno if git has always done that, but we need that feature)		2015-02-15 17:58:55 -08:00
..
cpu.sh	Begin modularizing the scripts	2015-02-08 16:16:00 -08:00
fetch-rules.sh	Need to specify name of git clone directory (dunno if git has always done that, but we need that feature)	2015-02-15 17:58:55 -08:00