c4d10f97099b0fd6c3080fb63a550ececbec0b1d
[lhc/ateliers.git] / etc / remote.sh
1 . "$tool"/etc/local.sh