Merge PR#36: fix ssh config after merging gnocci/setup
authornicoo <nicoo@realraum.at>
Mon, 26 Nov 2018 21:13:24 +0000 (22:13 +0100)
committernicoo <nicoo@realraum.at>
Mon, 26 Nov 2018 21:13:24 +0000 (22:13 +0100)

Trivial merge