diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-04-03 22:43:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-03 22:43:07 +0200 |
| commit | 82c26f74ad63ac68288f0e2e936cf02a5bd1f513 (patch) | |
| tree | 01327ac7af3fee5b3ef2c5e1bb367a3e7b864437 /thirdparty/fonts | |
| parent | a7dd698d4d0c46c777c87681d9d20c1a3bb7101e (diff) | |
| parent | 7d5a40c3e6fbd90f02ae677fc20300c3f38772df (diff) | |
Merge pull request #17865 from delftswa2018/enumLookupFix
Ctrl+Clicking a enum now scrolls down to it in the docs.
Diffstat (limited to 'thirdparty/fonts')
0 files changed, 0 insertions, 0 deletions