Skip to content

don't let ids start with a number#161

Merged
lihaoyi-databricks merged 2 commits intodatabricks:masterfrom
nicklan:id_shouldnt_start_with_number
May 30, 2023
Merged

don't let ids start with a number#161
lihaoyi-databricks merged 2 commits intodatabricks:masterfrom
nicklan:id_shouldnt_start_with_number

Commits

Commits on Apr 8, 2023

Commits on May 30, 2023