Merge pull request #1558 from hauke/pps-tools
authorSteven Barth <redacted>
Mon, 3 Aug 2015 11:42:38 +0000 (13:42 +0200)
committerSteven Barth <redacted>
Mon, 3 Aug 2015 11:42:38 +0000 (13:42 +0200)
pps-tools: remove kernel dependencies


Trivial merge
git clone https://git.99rst.org/PROJECT