![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| update_and_test_all.sh | 2015-07-08 14:02 | 779 | |
| procedure_2_melt.sh | 2015-07-08 14:02 | 479 | |
| update_and_test.sh | 2015-07-08 14:02 | 473 | |
| procedure_3_executable.sh | 2015-07-08 14:02 | 397 | |
| revert_and_test.sh | 2015-07-08 14:02 | 340 | |
| procedure_0_update.sh | 2015-07-08 14:02 | 284 | |
| update.sh | 2015-07-08 14:02 | 181 | |
| test.sh | 2015-07-08 14:02 | 157 | |
| procedure_1_silent.sh | 2015-07-08 14:02 | 145 | |
| clean_targets_minotauro.sh | 2015-07-08 14:02 | 141 | |