)]}'
{
  "id": "7972c6631602562053fd79800c15f07c916e6a6f",
  "entries": [
    {
      "mode": 33261,
      "type": "blob",
      "id": "c56780c1cba88e0728f033b64e69e42472e18cd4",
      "name": "generate_language_headers.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "8852d19c8a7d9f682ddf8c655f5fb18fa3aaf15c",
      "name": "makeExtinstHeaders.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "853c46726e49d3101937ad55fc7e9e7db32d175b",
      "name": "makeHeaders"
    }
  ]
}