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 /thirdparty/bullet | |
| parent | 2ba96f0dd9ed1cc218b464b0964138c51591dded (diff) | |
GitHub Actions: Prepend emoji to platform names for easy visual grepping
Diffstat (limited to 'thirdparty/bullet')
0 files changed, 0 insertions, 0 deletions