)]}'
{
  "id": "5e19eaa123cc08d98bdef7b564a7ceed60556c0d",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/cui/source/options/opthtml.hxx"
}