mirror of
https://github.com/element-hq/element-web.git
synced 2024-11-30 15:19:39 +03:00
b2d4639ec9
This should (hopefully) resolve occasional errors where the rename step would fail because the temporary file did not exist. In addition, this also exits with an error code if something goes wrong so we notice it early, rather than having to scroll through pages of logs at release time. |
||
---|---|---|
.. | ||
ci | ||
check-i18n.pl | ||
compare-file.js | ||
copy-i18n.py | ||
fetchdep.sh | ||
fix-i18n.pl | ||
fixup-imports.pl | ||
gen-i18n.js | ||
generate-eslint-error-ignore-file | ||
prune-i18n.js | ||
reskindex.js |