100755 blob ccd843b947321b0f7decf390ec46ee4610cd4188	generate_language_headers.py
100755 blob 96ce008f642e5e976d1a325bd66a44d7b2fccc90	makeExtinstHeaders.py
100755 blob 853c46726e49d3101937ad55fc7e9e7db32d175b	makeHeaders