)]}'
{
  "id": "9cde8a53f6559130de89c4bed3817816ef2c3ad4",
  "repo": "R",
  "revision": "f434667a11724e87bfd9b0f00a99c7cbb2f3f75a",
  "path": "src/library/grDevices/man/ps.options.Rd"
}