diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2024-05-11 15:55:12 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-05-11 15:55:23 +0200 |
commit | 734f820be48d6b5f0dbbdc30ca5a0e4225ab3d76 (patch) | |
tree | 5524c60d34859b268f927bc872a16507bbd0eb78 /misc/dist/html | |
parent | 916ea002c15e82879f3eada7c635daaecccc9e35 (diff) | |
download | redot-engine-734f820be48d6b5f0dbbdc30ca5a0e4225ab3d76.tar.gz |
CI: Re-add `CHANGED_FILES` logic for pre-commit checks
Fixes #91831.
Diffstat (limited to 'misc/dist/html')
0 files changed, 0 insertions, 0 deletions