diff options
author | Doug Kelkhoff | 2023-01-21 20:20:59 +0000 |
---|---|---|
committer | GitHub | 2023-01-21 20:20:59 +0000 |
commit | 2b58ff4d7cc09bc48bcdd79096110eeb578b509f (patch) | |
tree | 2da392671e918f9fc826389ab1da2812da9d19c7 /runtime/queries/verilog | |
parent | 8347139ff582341246975f047f04b4848f6e5af9 (diff) |
Add configuration for min width of line-numbers gutter (#4724)
Diffstat (limited to 'runtime/queries/verilog')
0 files changed, 0 insertions, 0 deletions