rename

pola-rs · Jul 12, 2023 · 07d150d · 07d150d
1 parent ecd7199
commit 07d150d
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/inst/misc/load_polars.R → inst/misc/develop_polars.R b/inst/misc/load_polars.R → inst/misc/develop_polars.R