The "diff-command" setting:

The value is an external command to run when performing a diff. If undefined, the internal text diff will be used.

REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]