Skip to content

Propagate final to the redeclared element parameters - #606

Merged
JayHuLBL merged 5 commits into
mainfrom
ag/605-final-elements
Aug 27, 2026
Merged

Propagate final to the redeclared element parameters #606
JayHuLBL merged 5 commits into
mainfrom
ag/605-final-elements

Update templates.json.gz

657f0d8
Select commit
Loading
Failed to load commit list.