diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-06-26 08:05:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-26 08:05:52 +0200 |
commit | b92477d77e9a6f46e4276a20a451dfac9d485f47 (patch) | |
tree | 289907329dc590ea1e192d5bb80266513f258b8c /core/local_vector.h | |
parent | 87d23972733e02b70a26e486456e0ab133e12d78 (diff) | |
parent | c177308f80b46b358751eaaa6e96f693066b4bdc (diff) |
Merge pull request #39814 from Xrayez/specific-weird-icons
Don't use arbitrary theme editor icons for scripts with the same name
Diffstat (limited to 'core/local_vector.h')
0 files changed, 0 insertions, 0 deletions