From 6662cafd0be1d01a9eec9c461f7f830e1486692b Mon Sep 17 00:00:00 2001 From: khaneliman Date: Thu, 8 May 2025 13:16:42 +0000 Subject: [PATCH] deploy: 2ede089d11b68d7abfcb022c60cf71249504c3b0 --- options.xhtml | 52 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 52 insertions(+) diff --git a/options.xhtml b/options.xhtml index b5d9216cf..36cfea6ed 100644 --- a/options.xhtml +++ b/options.xhtml @@ -28311,6 +28311,58 @@ attribute set of string

} +

Declared by:

+ + +
+ +<home-manager/modules/programs/git.nix> + +
+ +
+ + programs.git.patdiff.enable + + +
+
+

Whether to enable the patdiff differ. +See https://opensource.janestreet.com/patdiff/

+ +

Type: +boolean

+ +

Default: +false

+ +

Example: +true

+ +

Declared by:

+ + +
+ +<home-manager/modules/programs/git.nix> + +
+
+
+ + programs.git.patdiff.package + + +
+
+

The patdiff package to use.

+ +

Type: +package

+ +

Default: +pkgs.patdiff

+

Declared by: