Skip to content

fix: rename numeric list to list#196

Merged
pgurusinga merged 1 commit intomainfrom rename_NumericListNov 20, 2023

Commits

Commits on Nov 17, 2023