Decapodes Refactor for Modal Double Diagrams#1283

quffaro wants to merge 1 commit into

mainToposInstitute/CatColab:mainfrom

cm/decapodes-using-modal-diagramsToposInstitute/CatColab:cm/decapodes-using-modal-diagramsCopy head branch name to clipboard