tree c76f95ecc9aa412ecc1fe4dbdf1ad59fe08645aa
parent 11e2223429d7c20272f47ec33655aef051d6c256
author Adrian Negreanu <groleo@gmail.com> 1486474170 +0200
committer Adrian Negreanu <groleo@gmail.com> 1486544464 +0200

genheaders.py: make it usable as a module

Signed-off-by: Adrian Negreanu <groleo@gmail.com>