diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-07-04 20:10:45 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-07-04 20:15:30 +0200 |
| commit | 10c0174903e6414d8d88b2636c65604ea85f4a8e (patch) | |
| tree | 70db7486d4494b16e03d94246e0e77e49d5e8e8e /ci_stable.sh | |
| parent | d26a247a32de01861325e12a1da901c88d709984 (diff) | |
doc: upload statics too.
Diffstat (limited to 'ci_stable.sh')
0 files changed, 0 insertions, 0 deletions