Revision d62b7335
ID | d62b7335fa6d7306bbdac086096386279585b3b9 |
Parent | 7f1b1d32 |
Child | 9765db73 |
feature #2911: removed unneeded file from install.sh
Files
- added
- modified
- copied
- renamed
- deleted
ID | d62b7335fa6d7306bbdac086096386279585b3b9 |
Parent | 7f1b1d32 |
Child | 9765db73 |
Added by Tino Vázquez almost 7 years ago
feature #2911: removed unneeded file from install.sh