19 Apr
2004
19 Apr
'04
11:10 p.m.
Damien Thivolle <damien@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@lrde.epita.fr