Merge pull request #22 from realraum/gnocci/setup
authorChristian Pointner <equinox@spreadspace.org>
Sun, 25 Nov 2018 00:45:41 +0000 (01:45 +0100)
committerGitHub <noreply@github.com>
Sun, 25 Nov 2018 00:45:41 +0000 (01:45 +0100)
WiP: (Semi-)automated gnocci installation


Trivial merge