Skip to content

Allow leading digit in column projection - #576

Merged
rudokemper merged 1 commit into
mainfrom
rk/allow-leading-digit-in-col-projection
Aug 6, 2026
Merged

Allow leading digit in column projection#576
rudokemper merged 1 commit into
mainfrom
rk/allow-leading-digit-in-col-projection

Allow leading digit in col projection

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

Annotations

1 warning
Lint and Format Code
succeeded Aug 5, 2026 in 47s