diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-25 12:00:03 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-25 12:00:03 +0100 |
commit | 15264ce5d94f1f0263df212e467bd8730a6464d3 (patch) | |
tree | b8cf4106987fa149d33d063d22dfa4adaf6e555f /editor/editor_run_script.cpp | |
parent | 5f335a7879e944393bafcf42cac1065a506869e9 (diff) | |
parent | 8cb7bd52308ed752934e99d35769bfd02b31795b (diff) |
Merge pull request #72019 from bruvzg/ci_pkgs
[CI] Remove packages that are no longer necessary.
Diffstat (limited to 'editor/editor_run_script.cpp')
0 files changed, 0 insertions, 0 deletions