--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on January 2008 ---
En fait, je me reponds a moi-meme en me mettant a l'amende: cette liste est destinee aux utilisateurs externes de Frama-C. On doit y parler en anglais, et parler de choses concernant les utilisateurs. La forge inria propose par defaut une autre liste frama-c-commits: pensez-vous que je doive l'activer, pour que ceux qui modifient les sources expliquent leur modifs ? En fait vous avez deja une liste pour cela non ? (mais je n'y suis pas inscrit...) - Claude Claude March? wrote: > > Je viens de changer la page contact.prehtml du repo CVS. Benjamin, > peux-tu l'installer sur la page web ? > > -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |