diff options
author | pennae <github@quasiparticle.net> | 2023-12-01 18:33:47 +0100 |
---|---|---|
committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2023-12-02 23:34:09 +0000 |
commit | 47e49e8f82c0f4f1b16156f24dd5c64e5dd26830 (patch) | |
tree | f88804701c1546f36d5e4b455f548b38013af0ea /.editorconfig | |
parent | 9ee838504fa23daabee9e0afb08877e6d8fc866a (diff) |
documentation-highlighter: 9.12.0 -> 11.9.0, add new langs
this has been overdue for a while. we also add the `shell` language to the bundle (in addition to nix and bash) for ShellSession highlighting. perhaps we should use the full, regular distribution instead of a custom build, but eh. (cherry picked from commit 3bf6d6d251f4df59690b6ec7174a90789ec3717b)
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig index ebb66b07945c1..c4682829e357b 100644 --- a/.editorconfig +++ b/.editorconfig @@ -90,6 +90,9 @@ insert_final_newline = unset indent_style = unset trim_trailing_whitespace = unset +[pkgs/misc/documentation-highlighter/**] +insert_final_newline = unset + [pkgs/servers/dict/wordnet_structures.py] trim_trailing_whitespace = unset |