)]}'
{
  "id": "c76fd9c5111a352ff4a80adc0d71cb79e0d5c868",
  "repo": "R",
  "revision": "f434667a11724e87bfd9b0f00a99c7cbb2f3f75a",
  "path": "src/library/grDevices/man/dev.flush.Rd"
}