diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-08-25 00:43:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-25 00:43:19 +0200 |
| commit | 443686d724ce8ac58dcdf09389e9f996aee866c1 (patch) | |
| tree | 3f65c75070fc111453d52a1ee1a5fc3ab8b84d5e /editor/icons/Object.svg | |
| parent | ba7738a3b264bfbe999631449c1d2daaaa5212f2 (diff) | |
| parent | 82b30f36cb3f0de8c99891dd3c0e25e83f62ccb0 (diff) | |
Merge pull request #41461 from Calinou/ci-platforms-emoji
GitHub Actions: Prepend emoji to platform names for easy visual grepping
Diffstat (limited to 'editor/icons/Object.svg')
0 files changed, 0 insertions, 0 deletions