)]}'
{
  "id": "89c6e70249d757ce6cc7fb3d09d6e8535e4699ba",
  "repo": "third_party/nextpnr",
  "revision": "3975424ff544406915a9e995ef14a0b060b30661",
  "path": "gui/designwidget.h"
}