)]}'
{
  "id": "408f2801ac1922d2df5c2e5cdeb70ad8e8b271f9",
  "repo": "mirror",
  "revision": "refs/heads/rmlarsen1/gpu-device-attributes",
  "path": "doc/snippets/TopicAliasing_mult3.cpp"
}