Login
Z3 tests
Help: exec-rel-paths
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "exec-rel-paths" setting:
When executing certain external commands (e.g. diff and gdiff), use relative paths.