log scripts/setup_ssh.sh @ 523:42f6af3a5f1d prerelease

age author description
Wed, 22 Jun 2016 13:34:23 +0100 Giulio Moro Fixed setup_ssh (got screwed by bela_common) prerelease