)]}'
{
  "id": "bf0dbd6985dca70a32c1ce4b787719df8e0396a6",
  "repo": "R",
  "revision": "116db572fde53bb7b4e7596511f5804c5746bc81",
  "path": "src/library/stats/man/time.Rd"
}