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)
commit8a86f8425951b906110b5c7ccae907b59ffbf035
tree570e36d756e834cc51ff325cfc29cdb391885f50
parentb91eff9859c28cf8c5e4b1013047b42463912e56
parenta7a015fb7222957264760c001aa0b38970a359a7
Merge pull request #1286 from equinox0815/pps-tools-linux3.18

pps-tools: enable for Linux 3.18
git clone https://git.99rst.org/PROJECT