Skip to content

Use Babel's preferred_name for clique labels - #386

Merged
gaurav merged 14 commits into
mainfrom
use-preferred-name-from-json
Jul 15, 2026
Merged

Use Babel's preferred_name for clique labels#386
gaurav merged 14 commits into
mainfrom
use-preferred-name-from-json

Commits

Commits on Jul 15, 2026