You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

David Peter fb0f12a221 Merge pull request #1643 from sharkdp/dependabot/submodules/assets/syntaxes/02_Extra/Lean-29a03a8 ... Bump assets/syntaxes/02_Extra/Lean from `824213d` to `29a03a8`		3 years ago
..
completions	Fix zsh completion	4 years ago
manual	Update map-syntax text in manpage to match --help	4 years ago
patches	Merge branch 'master' into syslog	3 years ago
syntaxes	Merge pull request #1643 from sharkdp/dependabot/submodules/assets/syntaxes/02_Extra/Lean-29a03a8	3 years ago
themes	Bump assets/themes/zenburn from `7f6fb86` to `702023d`	4 years ago
.gitattributes	Add assets/.gitattributes	6 years ago
.ignore	Add .ignore files to avoid searching asset folders	6 years ago
create.sh	Replace #!/bin/bash with #!/usr/bin/env bash to improve compatibility with systems where /bin/bash is not available	4 years ago
syntaxes.bin	Add SystemVerilog support	4 years ago
theme_preview.rs	Small style changes to --list-themes	6 years ago
themes.bin	Update syntaxes and themes	4 years ago