The "gdiff-command" setting:

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

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