)]}'
{
  "id": "20f35342a15ba01118402ffe24b282004957f682",
  "repo": "mirror",
  "revision": "refs/heads/rmlarsen1/gpu-runtime-checked-launch",
  "path": "doc/TutorialReductionsVisitorsBroadcasting.dox"
}