programs.patdiff.enable
Whether to enable the patdiff differ.
See https://opensource.janestreet.com/patdiff/
Type: boolean
Default:
false
Example:
true
Declared by:
programs.patdiff.enableGitIntegration
Whether to enable git integration for patdiff.
When enabled, patdiff will be configured as git’s external diff tool.
Type: boolean
Default:
false
Declared by:
programs.patdiff.package
The patdiff package to use.
Type: package
Default:
pkgs.patdiff
Declared by: