Skip to content

Rename get-started example directory and scripts using underscores#2245

Merged
seisman merged 1 commit intomainfrom
rename-underscores
Dec 13, 2022
Merged

Rename get-started example directory and scripts using underscores#2245
seisman merged 1 commit intomainfrom
rename-underscores

Commits

Commits on Dec 13, 2022