Skip to content

Add a comment in generated files pointing out the script generator#562

Merged
robertoraggi merged 1 commit intorobertoraggi:mainfrom
mingodad:generated-files
Jul 15, 2025
Merged

Add a comment in generated files pointing out the script generator#562
robertoraggi merged 1 commit intorobertoraggi:mainfrom
mingodad:generated-files

Commits

Commits on Jul 15, 2025