Revision 5f32a182
ID | 5f32a1827c5d5f45b78ecb309c158264d5be348e |
Parent | 9c1631da |
Child | 0dc37ffb |
feature #1977: Fix install.sh
Files
- added
- modified
- copied
- renamed
- deleted
ID | 5f32a1827c5d5f45b78ecb309c158264d5be348e |
Parent | 9c1631da |
Child | 0dc37ffb |
Added by Ruben S. Montero about 8 years ago
feature #1977: Fix install.sh