1
0
mirror of https://github.com/sharkdp/bat synced 2026-08-09 19:51:48 +00:00

Merge branch 'master' into feat/env-extension

This commit is contained in:
David Peter
2022-10-30 20:45:39 +01:00
committed by GitHub
16 changed files with 1452 additions and 12 deletions
+3
View File
@@ -16,6 +16,9 @@ file_extensions:
- url
- URL
- .editorconfig
- .coveragerc
- .pylintrc
- .gitlint
- .hgrc
- hgrc
scope: source.ini