wok view xxdiff/description.txt @ rev 22178

corrected font-manager again
author Hans-G?nter Theisgen
date Sat Nov 09 11:39:06 2019 +0100 (2019-11-09)
parents
children
line source
1 xxdiff is a graphical browser for viewing the differences between two
2 files and can be used to produce a merged version. The text of the
3 two or three files are presented side by side with their differences
4 highlighted for easy identification.