)]}'
{
  "id": "d4f25b0000dd53960bddf35083ee185c18373d42",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "82cf77548b9a00b51886a769854bb1d65715c919",
      "name": "OpenMPExtensions.rst"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6dbf36201951e10f6dfa0cb3a6d71f2f056b5e31",
      "name": "Overview.rst"
    }
  ]
}