Toggle navigation
TweetyPy
Not logged in ·
Login
Home
Wiki
Timeline
Branches
Tags
Tickets
Home
Help: gdiff-command
Command-List
The "gdiff-command" setting:
The value is an external command to run when performing a graphical diff. If undefined, text diff will be used.