{"payload":{"definitions":[],"values":{},"canEditProperties":false},"title":"Settings · Custom properties · dau-dev/yosys-f4pga-plugins"}