Kosta 30512c4d5d fix generateSingleHeader.py script
It looks like the `print` function needs `(` and `)` around its argument (at least for me on Windows with `Python 3.3.3`).
2014-02-18 12:27:54 +01:00
..