)]}'
{
  "id": "3e651e9e7beb7b9710a18d5904752f324c232de0",
  "repo": "java-prettify",
  "revision": "3cfc478892190eb33a8eb6407e2a126e398d6d8d",
  "path": "javadoc/prettify/lang/LangTex.html"
}