mirror of
https://github.com/sharkdp/bat.git
synced 2026-10-26 20:16:33 +00:00
1 parent
50fa25db60
commit
9090fb75e0
1 file changed
+3
@@ -0,0 +1,3 @@
|
||||
# .debdiff is the extension used for diffs in Debian packaging
|
||||
[mappings]
|
||||
"Diff" = ["*.debdiff"]
|
||||
Reference in new issue
Block a user