Revision 1da2dd3e
ID | 1da2dd3e24120d4c9f2fcddfefe292925c8bbe47 |
Parent | 41e932e0 |
Child | b9715179 |
feature #2911: removed unneeded file from install.sh
Files
- added
- modified
- copied
- renamed
- deleted
ID | 1da2dd3e24120d4c9f2fcddfefe292925c8bbe47 |
Parent | 41e932e0 |
Child | b9715179 |
Added by Tino Vázquez over 6 years ago
feature #2911: removed unneeded file from install.sh