)]}'
{
  "id": "aa4514d68093b342eb4c8437c5e3c0e007d996e5",
  "repo": "mirror",
  "revision": "721671cc4e5950e8cb1c905be720d4318bf9fcdb",
  "path": "doc/I00_CustomizingEigen.dox"
}