fix line endings (!42) · Merge requests · Eclipse Research Labs / CODECO Project / Automated Configuration Management

tymon jonge requested to merge bugfix/script-line-endings into main Oct 28, 2025

fix error i get when trying to run the script

usr/bin/env: ‘bash\r’: No such file or directory

fix line endings