From 6817d2e99039c68e4134e47a4dfd0e8fc6989ffe Mon Sep 17 00:00:00 2001
From: teto
Date: Mon, 22 Apr 2024 12:45:20 +0000
Subject: [PATCH] deploy: 46833c3115e8858370880d892748f0927d8193c3
---
options.xhtml | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/options.xhtml b/options.xhtml
index f3abccb90..a343887ee 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -14235,6 +14235,30 @@ boolean
Example:
true
+Declared by:
+
+
+
+
+ programs.bat.package
+
+
+
+
+The bat package to use.
+
+Type:
+package
+
+Default:
+pkgs.bat
+
Declared by: