Merge pull request #2032 from jefferyto/python-ply-host
authorHannu Nyman <hannu.nyman@iki.fi>
Mon, 7 Dec 2015 09:12:33 +0000 (11:12 +0200)
committerHannu Nyman <hannu.nyman@iki.fi>
Mon, 7 Dec 2015 09:12:33 +0000 (11:12 +0200)
python-ply: add host compile/install


Trivial merge