completions
|
style: trim excess whitespace
|
2021-08-21 23:07:37 +02:00 |
manual
|
style: trim excess whitespace
|
2021-08-21 23:07:37 +02:00 |
themes
|
Add Dark+ theme
|
2021-03-24 17:52:44 +05:00 |
.gitattributes
|
Add assets/.gitattributes
|
2018-11-11 14:50:59 +01:00 |
create.sh
|
style(create.sh): remove non-POSIX keyword
|
2021-08-21 23:07:37 +02:00 |
syntaxes.bin
|
Update Julia syntax, closes #1692
|
2021-07-13 08:50:23 +02:00 |
theme_preview.rs
|
Small style changes to --list-themes
|
2018-08-28 20:24:13 +02:00 |
themes.bin
|
Update binary assets
|
2021-05-12 22:55:40 +02:00 |