diff options
| author | Rohan Jain | 2022-03-11 12:19:21 +0000 |
|---|---|---|
| committer | GitHub | 2022-03-11 12:19:21 +0000 |
| commit | cf8f59ddd0fa6a18b52fc14cf1f3722b494a5be3 (patch) | |
| tree | c1fb634d8adff266d0604373f4bbf9791b5e68db /.github | |
| parent | 98851d1594e712c3a222fa6624b2aa89176464c6 (diff) | |
theme: Use distinct colors for match pair and cursor for gruvbox (#1791)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions