)]}'
{
  "id": "6be2bc50047c0aac496a6d25d9f6d87947f0afb1",
  "entries": [
    {
      "mode": 33261,
      "type": "blob",
      "id": "c56780c1cba88e0728f033b64e69e42472e18cd4",
      "name": "generate_language_headers.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "780e4796094d7d700dfb2391742ca7b9c08e2872",
      "name": "makeExtinstHeaders.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "0ca0b2f251f890fb42ab069197c93e00c1cf5374",
      "name": "makeHeaders"
    }
  ]
}