Modification : raccourcissement des noms UNIX pour MySQL : php5_ -> php_ .
[lhc/ateliers.git] / etc / remote.sh
1 . "$tool"/etc/local.sh