)]}'
{
  "id": "c2199864d5460343009a6d9ed46da4aed0e35538",
  "repo": "R",
  "revision": "f434667a11724e87bfd9b0f00a99c7cbb2f3f75a",
  "path": "src/library/base/man/proc.time.Rd"
}