The "exec-rel-paths" setting:

When executing certain external commands (e.g. diff and gdiff), use relative paths.

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