Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
clean_targets_minotauro.sh | 2015-07-08 14:02 | 141 | ||
procedure_1_silent.sh | 2015-07-08 14:02 | 145 | ||
test.sh | 2015-07-08 14:02 | 157 | ||
update.sh | 2015-07-08 14:02 | 181 | ||
procedure_0_update.sh | 2015-07-08 14:02 | 284 | ||
revert_and_test.sh | 2015-07-08 14:02 | 340 | ||
procedure_3_executable.sh | 2015-07-08 14:02 | 397 | ||
update_and_test.sh | 2015-07-08 14:02 | 473 | ||
procedure_2_melt.sh | 2015-07-08 14:02 | 479 | ||
update_and_test_all.sh | 2015-07-08 14:02 | 779 | ||