Correction : adaptation de $PATH pour gpg_preset-passphrase(1).
[lhc/ateliers.git] / etc / remote.sh
1 . "$tool"/etc/local.sh