Merge PR#43: nicer handling for ssh keys
authornicoo <nicoo@realraum.at>
Fri, 30 Nov 2018 23:11:53 +0000 (00:11 +0100)
committernicoo <nicoo@realraum.at>
Fri, 30 Nov 2018 23:11:53 +0000 (00:11 +0100)
commitedd429a61acd8b6a392c6e0fffc5aef18ed8d218
tree16dfd8b44abcd2a7028ffa728c1296c9927e2c4b
parent253adcddf073279e89c6645eb1817175e76a5953
parentd91a54287c0b157979add905a6202554aa34e093
Merge PR#43: nicer handling for ssh keys