Skip to content
Snippets Groups Projects

system_tables.md: rename _pico_space -> _pico_table

Merged Yaroslav Dynnikov requested to merge rosik/rename-space-to-table into main
  1. Nov 20, 2023
Loading