diff options
| author | Dundar Göc <gocdundar@gmail.com> | 2022-01-31 10:00:07 +0100 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-01-31 21:17:33 +0100 |
| commit | 10989cde1ba3a844aa475096ae71b64f3e28194f (patch) | |
| tree | 7409c1a5de5dd803aff17607385f8450466379bb /scripts/update-readme.lua | |
| parent | 05c963602b66f087cb15f39035d8b31d8225bb55 (diff) | |
ci: prefer io.write instead of print to have full control of output
This should prevent different output formats on windows and unix.
Diffstat (limited to 'scripts/update-readme.lua')
0 files changed, 0 insertions, 0 deletions