Skip to content

Better diagnose the incorrect lines like "side 1" or "[5]"#65

Merged
jepler merged 1 commit intomainfrom
better-error-sideset-delay
Jul 11, 2024
Merged

Better diagnose the incorrect lines like "side 1" or "[5]"#65
jepler merged 1 commit intomainfrom
better-error-sideset-delay

Commits

Commits on Jul 10, 2024