)]}'
{
  "id": "5c3e15a7926763fd071b941aa17c5afede6c4494",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/tools/Module_tools.mk"
}