Differences
This shows you the differences between the selected revisions of the page.
| 2018-11-05 | 2018-11-06 | ||
| created (martin) | explicit options anchor (martin) | ||
| Line 109: | Line 109: | ||
| </code> | </code> | ||
| - | ===== Options ===== | + | ===== [[options]] Options ===== |
| In the //Select file comparison tool//, select your preferred file comparison tool. Keep the default //Automatic//, to have the extension automatically use the first available tool. | In the //Select file comparison tool//, select your preferred file comparison tool. Keep the default //Automatic//, to have the extension automatically use the first available tool. | ||