diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-06-20 03:01:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-20 03:01:06 +0200 |
commit | e9a70e97c59612c89ffdd19062e1abb7b6b52401 (patch) | |
tree | d9401dbbc1635842ed152e3addfff0d9bda52ef7 /build | |
parent | 4e2cacceb1550c2075289826db944a9045f34933 (diff) | |
parent | b1ef43c4974309505471b66422b58e7ee2cace4a (diff) |
Merge pull request #2883 from ronso0/effect-tooltip
WEffectselector: make tooltips easier to read
Diffstat (limited to 'build')
0 files changed, 0 insertions, 0 deletions