)]}'
{
  "id": "210cc20de9ba42c1efde7594a3b66d6c341733b7",
  "repo": "java-prettify",
  "revision": "9d9d31442f59fc549f047fa8300effa3149d48e0",
  "path": "javadoc/prettify/lang/LangTex.html"
}