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