diff options
| author | Alex | 2022-02-21 07:45:48 +0000 |
|---|---|---|
| committer | GitHub | 2022-02-21 07:45:48 +0000 |
| commit | d5ba0b516263f08116c43eb0796b1027b094dabd (patch) | |
| tree | 0965f9fdbf2c7da1d6217c154d364c7eaa210507 /shell.nix | |
| parent | 700058f433d0d12b30b968d50cd7f9b93f983107 (diff) | |
Allow separate styles for markup headings (#1618)
* update markdown highlighting to use separate heading themes
* remove markdown theme scopes in ui
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions