Revision 0fd1d0ec
ID | 0fd1d0ec857e015be92913e1c2e98ac446731bf9 |
Parent | 55712460 |
Child | 5f8e1178 |
Avoid unneeded errors deleting non existent files in install.sh
Files
- added
- modified
- copied
- renamed
- deleted
ID | 0fd1d0ec857e015be92913e1c2e98ac446731bf9 |
Parent | 55712460 |
Child | 5f8e1178 |
Added by Tino Vázquez over 9 years ago
Avoid unneeded errors deleting non existent files in install.sh