)]}'
{
  "id": "9fed46fb5dfa12f72c3e2f30b395e00ececccde1",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/sw/source/ui/wrtsh/wrtundo.cxx"
}