Skip to content

Move scripts to the scripts directory and adapt Makefile#9

Merged
eduardogr merged 1 commit intomainfrom
org/moving-scripts
Apr 7, 2025
Merged

Move scripts to the scripts directory and adapt Makefile#9
eduardogr merged 1 commit intomainfrom
org/moving-scripts

Commits

Commits on Apr 7, 2025