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)
commitc1ccbb1f8bc0b4e5cb5b777718be934728aab7d2
tree19d753cb85bba8db3bf08c2e0a2362c6e0fd7ece
parent38e9ff658530f4caf4be96dbffaa09c8d5f2f5b7
parent1f43c8db8622ed77aecb7789b0937f40dec17621
Merge PR#36: fix ssh config after merging gnocci/setup