Skip to content

Label a named state set's diagram with its name - #178

Merged
CatarinaGamboa merged 1 commit into
mainfrom
feat/state-values
Nov 10, 2026
Merged

Label a named state set's diagram with its name#178
CatarinaGamboa merged 1 commit into
mainfrom
feat/state-values

Commits

  1. Commits on Nov 10, 2026