Instructions for using jEdit as an external diff tool for Git.