diff options
Diffstat (limited to 'doc/.markdownlint.json')
-rw-r--r-- | doc/.markdownlint.json | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/doc/.markdownlint.json b/doc/.markdownlint.json deleted file mode 100644 index 2c40c0859f0..00000000000 --- a/doc/.markdownlint.json +++ /dev/null @@ -1,31 +0,0 @@ -{ - "default": true, - "first-header-h1": true, - "header-style": { - "style": "atx" - }, - "ul-style": { - "style": "dash" - }, - "line-length": false, - "commands-show-output": false, - "no-duplicate-header": { - "allow_different_nesting": true - }, - "no-trailing-punctuation": { - "punctuation": ".,;:!。,;:!?" - }, - "ol-prefix": { - "style": "one" - }, - "no-inline-html": false, - "hr-style": { - "style": "---" - }, - "no-emphasis-as-heading": false, - "fenced-code-language": false, - "first-line-h1": false, - "code-block-style": { - "style": "fenced" - } -} |