Revision fb44e195
ID | fb44e1955a1b6f0c149d396856f075df178ccd49 |
Parent | ea70484e |
Child | e4017e61 |
feature #1112: Fix file name in install.sh
Files
- added
- modified
- copied
- renamed
- deleted
ID | fb44e1955a1b6f0c149d396856f075df178ccd49 |
Parent | ea70484e |
Child | e4017e61 |
Added by Ruben S. Montero over 9 years ago
feature #1112: Fix file name in install.sh