)]}'
{
  "id": "d8e844d636c6e36c7ecd268d9a9b32cd2e50e287",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/chart2/source/tools/RangeHighlighter.cxx"
}