{"payload":{"definitions":[],"values":{},"canEditProperties":false},"title":"Settings · Custom properties · tum-ei-eda/RISCV_ISA_CoreDSL"}