From df3d687e461176a03634d85f16ed3f587799a350 Mon Sep 17 00:00:00 2001 From: GitHub Actions Date: Sun, 16 Mar 2025 20:37:53 +0000 Subject: [PATCH] Deploy PR #683 preview --- docs-preview-683/options.html | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/docs-preview-683/options.html b/docs-preview-683/options.html index c97b06d4..61418e1b 100644 --- a/docs-preview-683/options.html +++ b/docs-preview-683/options.html @@ -2815,7 +2815,7 @@ list of string

-

Settings for completion providers

+

Settings for completion providers.

Type: attribute set of (anything)

@@ -2839,10 +2839,13 @@ attribute set of (anything)

-

module of the provider

+

Provider module.

Type: -string

+null or string

+ +

Default: +null

Declared by: