Skip to content

Change syntax for ind. data types and forbid the empty data type#1684

Merged
jonaprieto merged 8 commits intomainfrom jonaprieto/issue1635Jan 3, 2023

Commits

Commits on Jan 2, 2023

Commits on Jan 3, 2023