diff options
| author | oberblastmeister | 2021-08-18 16:02:15 +0000 |
|---|---|---|
| committer | GitHub | 2021-08-18 16:02:15 +0000 |
| commit | 098b6b6eedf6da8e760b334d61acef56be8d258b (patch) | |
| tree | 688cf8512fc8f1eefc7afc534de47b6c1827553a /book/theme/book.js | |
| parent | 36095326d0caed43959892a6b5f669833f2a747c (diff) | |
gruvbox theme changes (#594)
* changed some gruvbox highlights
* more stuff including cursors
* use property instead
* use variable.property
Diffstat (limited to 'book/theme/book.js')
0 files changed, 0 insertions, 0 deletions