[ jEdit-users ] Diff?

[Jason V. C. <ja...@va...>]

What plugins are currently available for diff'ing files graphically?  I
thought there used to be one, but I don't see it in my "Plugin Manager".

--Jason Van Cleve

--
Death to all fanatics!