If you don't like the diff that GitHub offers, you can clone the repos and use whatever diff tool you prefer. The git executable itself has several diff modes too, including a word diff (which sounds like what you're after?).
-- Jonathan On Wed, Apr 22, 2020, 01:14 Tino Didriksen <[email protected]> wrote: > On Wed, 22 Apr 2020 at 01:10, Bernard Chardonneau <[email protected]> > wrote: > >> Good idea to put a diff file but highlighting differences should be done >> everywhere. There are long paragraphs on which it is very difficult to >> see changes. >> Or an alternative possibility could be to put one pink line followed by >> the correspondong one in light green. But I prefer highlighting >> differences. >> > > We have no control over that - the diff is entirely generated and rendered > by Github. > > -- Tino Didriksen > > _______________________________________________ > Apertium-stuff mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/apertium-stuff >
_______________________________________________ Apertium-stuff mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/apertium-stuff
