>> "Giovanni" == Giovanni Palma
<giovanni(a)lrde.epita.fr> writes:
Index: doc/ChangeLog
from Giovanni Palma <giovanni(a)lrde.epita.fr>
* dev/build.texi: Update the file.
* dev/srctree.texi: Likewise.
* dev/upgrading.texi: Likewise.
+2004-04-15 Giovanni Palma
<giovanni(a)lrde.epita.fr>
+
* dev/thanks.texi: Update thanks.
2004-04-15 Niels Van Vliet
<niels(a)lrde.epita.fr>
Index: doc/dev/build.texi
--- doc/dev/build.texi Fri, 08 Aug 2003 13:24:29 +0200 burrus_n (oln/p/42_build.texi 1.11
600)
+++ doc/dev/build.texi Thu, 15 Apr 2004 17:47:14 +0200 palma_g (oln/p/42_build.texi 1.11
600)
@@ -260,10 +260,11 @@
@multitable @columnfractions .33 .66
@item @strong{System} @tab @strong{Compiler}
Utiliser @headitem plutôt.
@headitem System @tab Compiler