diff options
author | Jorge Mederos Alvarado <[email protected]> | 2021-04-21 20:48:57 +0100 |
---|---|---|
committer | Jorge Mederos Alvarado <[email protected]> | 2021-04-27 01:29:54 +0100 |
commit | 9e5ef0ce723caa3270f9595ba738aa756a8804a9 (patch) | |
tree | 11eb0ba8ce2d23277c740c954f01b83d6ad2d079 /.gitignore | |
parent | a2ba0f48467aede5a051bb1e7ac0384d8f5b7e8f (diff) |
Add option to opt out from smaller inlay hints font size
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions