diff options
author | Santo Cariotti <santo@dcariotti.me> | 2023-10-15 18:56:55 +0200 |
---|---|---|
committer | Santo Cariotti <santo@dcariotti.me> | 2023-10-15 18:56:55 +0200 |
commit | 72664d87d2fb0782ca49a5f2118c64d0cf58e3f7 (patch) | |
tree | 44f2a3e7a39de1e0aa39ff9997fc9b67bc8eb9d6 /.github | |
parent | 2affb3567dc7fb42e97da8d5bc7a6b89bdbceb8d (diff) |
Add the possibility to redirect the output to a file
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions