Closed djalbat closed 2 months ago
https://github.com/djalbat/occam-ide/assets/17334729/00e369fc-a1d0-4ca6-ad4d-db905f983729
https://github.com/djalbat/occam-ide/assets/17334729/00e369fc-a1d0-4ca6-ad4d-db905f983729