Denis Buzdalov d6cb3ba747 [ new ] Add support for Idris 2 programming language

2025-01-27 23:47:20 +03:00

..

completions

Merge branch 'master' into master

2024-11-13 21:59:48 +02:00

manual

Update help, man page and completions

2024-08-18 20:32:59 +02:00

patches

Patch 1337 theme for better Man page syntax highlighting

2025-01-03 08:31:05 +02:00

syntaxes

[ new ] Add support for Idris 2 programming language

2025-01-27 23:47:20 +03:00

themes

Improve base16 themes for better Man page syntax highlighting

2025-01-03 08:31:05 +02:00

.gitattributes

…

.ignore

…

acknowledgements.bin

Bump version to 0.25.0

2025-01-07 20:44:21 +02:00

create.sh

…

syntaxes.bin

Bump version to 0.25.0

2025-01-07 20:44:21 +02:00

theme_preview.rs

…

themes.bin

Bump version to 0.25.0

2025-01-07 20:44:21 +02:00