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: