From 94c1baf05fdb68f24a8c4a98843f7d763ac56a5e Mon Sep 17 00:00:00 2001 From: Docusaurus bot Date: Mon, 8 Jul 2024 13:31:38 +0000 Subject: [PATCH] Deploy website Deploy website version based on 199e7298a1f3cf6c92bb9e00d2d33f31a986b850 --- docs/configuration.html | 11 ++++++++++- docs/installation.html | 6 +++--- 2 files changed, 13 insertions(+), 4 deletions(-) diff --git a/docs/configuration.html b/docs/configuration.html index 65efec421f..9d773a64fd 100644 --- a/docs/configuration.html +++ b/docs/configuration.html @@ -6878,6 +6878,15 @@

Miscellaneous

+

lineEndings

+

This parameter controls which end-of-line character sequences will be output, +takes the following values:

+ +

Default: lineEndings = "unix"

rewriteTokens

Map of tokens to rewrite. For example, Map("⇒" -> "=>") will rewrite unicode arrows to regular ascii arrows.

@@ -7455,7 +7464,7 @@

excludeFilters = [] xmlLiterals.assumeFormatted = false -