19 Apr
2004
19 Apr
'04
11:10 p.m.
Damien Thivolle <damien(a)lrde.epita.fr> writes:
Pour le coup du no newline at end of file. Je
comprends pas, y'a
bien un retour a la ligne a la fin du fichier mais prdiff me dit que
non.
J'ai déjà eu ce genre de chose dans Vaucanson également.
Je ne sais pas exactement d'ou viens ce comportement dans prdiff. Je
serai tenté de dire que cela est du fait que prdiff ne tient pas
compte des lignes ou seul des espaces ont été modifiés. Toutefois, je
n'ai pas réussi à reproduire le phénomène à la main avec diff.
--
Thomas Claveirole
thomas.claveirole(a)lrde.epita.fr