mirror of
https://github.com/sharkdp/bat.git
synced 2025-08-18 12:00:11 +02:00
Merge branch 'master' into master
This commit is contained in:
@@ -0,0 +1,2 @@
|
||||
[mappings]
|
||||
"INI" = ["**/.aws/credentials", "**/.aws/config"]
|
@@ -1,3 +1,3 @@
|
||||
# JSON Lines is a simple variation of JSON #2535
|
||||
[mappings]
|
||||
"JSON" = ["*.jsonl"]
|
||||
"JSON" = ["*.jsonl", "*.jsonc"]
|
Reference in New Issue
Block a user