)]}'
{
  "id": "13ed1ee38c36c33a0987fbaa91e0c73af935e4b5",
  "repo": "sourceediting/webtools.sourceediting",
  "revision": "09f7ecfcad33a29d26fefca33e76f70a6acee397",
  "path": "docs/org.eclipse.wst.xmleditor.doc.user/plugin.properties"
}