diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2023-01-25 10:26:00 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2023-01-25 10:55:34 +0200 |
| commit | 8cb7bd52308ed752934e99d35769bfd02b31795b (patch) | |
| tree | fc827615cfe051d8b62e1f7a5639168717979ef8 /platform | |
| parent | a3a42159e31db27f8ae7c1ecad6a9ed417cb05de (diff) | |
[CI] Remove packages that are no longer necessary.
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions