|
clean.sh
|
Add clean script
|
2014-03-03 20:10:48 -08:00 |
|
configure.sh
|
Fix configure script
|
2014-04-16 21:00:27 -07:00 |
|
lint.sh
|
Fix some egregiously long lines
|
2014-03-09 23:58:25 -07:00 |
|
test.sh
|
Record running time in test script
|
2014-04-28 08:11:48 -07:00 |
