mirror of
https://github.com/sharkdp/bat.git
synced 2026-10-26 20:16:33 +00:00
Add new file_extensions for INI
- https://coverage.readthedocs.io/en/6.3.2/faq.html#q-can-i-find-out-which-tests-ran-which-lines - https://pylint.pycqa.org/en/latest/user_guide/usage/run.html#command-line-options - https://jorisroovers.com/gitlint/configuration/
This commit is contained in:
1 parent
f215d07366
commit
46dc044c03
2 files changed
+4
-1
No files matched your search
+3
@@ -16,6 +16,9 @@ file_extensions:
|
||||
- url
|
||||
- URL
|
||||
- .editorconfig
|
||||
- .coveragerc
|
||||
- .pylintrc
|
||||
- .gitlint
|
||||
- .hgrc
|
||||
- hgrc
|
||||
scope: source.ini
|
||||
|
||||
Reference in new issue
Block a user