From d07b5261dadf403b0f905c5b5fdd3f0d2031afb6 Mon Sep 17 00:00:00 2001 From: rycee Date: Wed, 22 Nov 2023 23:17:44 +0000 Subject: [PATCH] deploy: 134deb46abd5d0889d913b8509413f6f38b0811e --- options.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/options.html b/options.html index c1878a6fa..c4f58b5d0 100644 --- a/options.html +++ b/options.html @@ -3241,7 +3241,7 @@ boolean

Default: true

Declared by:

<home-manager/modules/programs/bat.nix>
programs.bat.config

Bat configuration.

Type: -attribute set of (string or list of string)

Default: +attribute set of (string or list of string or boolean)

Default: { }

Example:

{
   map-syntax = [
     "*.jenkinsfile:Groovy"