summaryrefslogtreecommitdiff
path: root/editor/quick_open.h
diff options
context:
space:
mode:
authorHugo Locurcio <hugo.locurcio@hugo.pro>2020-08-22 23:04:57 +0200
committerHugo Locurcio <hugo.locurcio@hugo.pro>2020-08-23 15:13:36 +0200
commit82b30f36cb3f0de8c99891dd3c0e25e83f62ccb0 (patch)
treedaede2024748cddc02a1e6ba447012055f34681c /editor/quick_open.h
parent2ba96f0dd9ed1cc218b464b0964138c51591dded (diff)
GitHub Actions: Prepend emoji to platform names for easy visual grepping
Diffstat (limited to 'editor/quick_open.h')
0 files changed, 0 insertions, 0 deletions