diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-27 14:31:28 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-10-27 14:31:28 +0000 |
| commit | 3f20d344cd05062fe110c56b9f829bbc491a474e (patch) | |
| tree | e6fc222c264c07fdfa41143ae249a0824ab49642 /docs/user | |
| parent | a03f00476683f0e6e373c71e8ac788795029acb3 (diff) | |
| parent | 8a5a5b24776cb253251931a993f13d4476f844d7 (diff) | |
Merge #6382
6382: Set font-wieght: normal on inlay hints r=SomeoneToIgnore a=lnicola
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions