Merge pull request #1286 from equinox0815/pps-tools-linux3.18
authorTed Hess <redacted>
Sat, 23 May 2015 17:25:28 +0000 (13:25 -0400)
committerTed Hess <redacted>
Sat, 23 May 2015 17:25:28 +0000 (13:25 -0400)
pps-tools: enable for Linux 3.18


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