diff options
| author | Michael Davis | 2022-04-20 18:04:17 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-20 18:04:17 +0000 |
| commit | 6de2e7634fc0badd2b8cfdee4e5f0639684138f0 (patch) | |
| tree | 4fb47aeb7f011d6c0d912755951ea297747e2da5 /contrib | |
| parent | 4144c9d2f2e712475d0ee54d029653f2c7dffff5 (diff) | |
Document `ui.virtual.ruler` scope in theme docs (#2199)
From the rulers feature (#2060)
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions