Stefano Pigozzi 68d737bd92 build: always run code generators before compiling		2017-01-07 15:00:22 +01:00
..
__init__.py	…
headers.py	…
sources.py	build: always run code generators before compiling	2017-01-07 15:00:22 +01:00