Added by Rafa Gaitán about 16 years ago
fixed problem with install-binaries-dir script execution
View differences