)]}'
{
  "id": "7d9f314a9c176192b7e461f3a19cfad7ad3e6197",
  "repo": "openoffice",
  "revision": "refs/heads/python-editing-embedding",
  "path": "main/MathMLDTD/Package_html.mk"
}