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 <m...@tinodidriksen.com> wrote: > On Wed, 22 Apr 2020 at 01:10, Bernard Chardonneau <b...@tuxfamily.org> > 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 > Apertium-stuff@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/apertium-stuff >
_______________________________________________ Apertium-stuff mailing list Apertium-stuff@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/apertium-stuff
