Revision c2571326
ID | c2571326660d0e019333d7558d79bf6d977f9ce6 |
Parent | d16a9e71 |
Child | 61e22e46 |
appenv: bugs in install.sh with DESTDIR
Files
- added
- modified
- copied
- renamed
- deleted
ID | c2571326660d0e019333d7558d79bf6d977f9ce6 |
Parent | d16a9e71 |
Child | 61e22e46 |
Added by Javi Fontan almost 9 years ago
appenv: bugs in install.sh with DESTDIR