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