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/InsertBefore.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/InsertBefore.svg')
0 files changed, 0 insertions, 0 deletions