diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-08-22 23:04:57 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-08-23 15:13:36 +0200 |
commit | 82b30f36cb3f0de8c99891dd3c0e25e83f62ccb0 (patch) | |
tree | daede2024748cddc02a1e6ba447012055f34681c /editor/array_property_edit.cpp | |
parent | 2ba96f0dd9ed1cc218b464b0964138c51591dded (diff) |
GitHub Actions: Prepend emoji to platform names for easy visual grepping
Diffstat (limited to 'editor/array_property_edit.cpp')
0 files changed, 0 insertions, 0 deletions