External Diff Tools

Last modified: 11 February 2024

Specify external tools for comparing or merging files and folders, and associated settings.