)]}'
{
  "id": "82f64a57adf06170006be98e09ab727870be284d",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/sw/source/ui/misc/num.src"
}