Skip to content

Rebrand Pantomime to SymFC - #28

Merged
RobinWebbers merged 1 commit into
mainfrom
rebrand
Oct 16, 2026
Merged

RobinWebbers merged 1 commit into
mainfrom
rebrand

Rebrand of `Pantomime` to `SymFC`. The change list is of course massi…

e147660
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Build & Test
succeeded Oct 16, 2026 in 1m 14s