)]}'
{
  "id": "cfecb3f980ad9bd36891592152b7a4907251ea1e",
  "repo": "java-prettify",
  "revision": "8e3ba294b08565c1dd2a38d75ee3c7d54008d9ee",
  "path": "src/prettify/lang/LangTex.java"
}