)]}'
{
  "id": "c13440b048e3f41df321fecfd9a2f5c896472f1f",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/extensions/source/propctrlr/pushbuttonnavigation.cxx"
}