diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-08-25 14:35:43 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-08-25 14:35:43 +0200 |
commit | cfcdd576dd14fa98bc8404f4091f2f54eece3d87 (patch) | |
tree | 8429718b94fbce34e5591cdf7496a0921c48ef18 /version.py | |
parent | ef28da8006814d49baead76feb2d2f9d06f0efea (diff) |
CI: Remove unnecessary extra cache step for Emscripten
Co-authored-by: Fabio Alessandrelli <fabio.alessandrelli@gmail.com>
Diffstat (limited to 'version.py')
0 files changed, 0 insertions, 0 deletions