--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on January 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Contact web page



Claude March? a ?crit :
> 
> 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...)

A priori la liste pour les d?veloppeurs du CEA suffit. On peut t'y inscrire si 
tu veux !
Donc, il faudrait supprimer la liste frama-c-commits et la remplacer par
frama-c-support .

A+
-- 
| Benjamin Monate         | mailto:benjamin.monate@cea.fr     |
| Ing?nieur-Chercheur     | CEA-LIST/DRT/DTSI/SOL/LSL         |
| B?t. 528 Pt. 115a       | 91191 Gif-sur-Yvette CEDEX        |
| T?l. 01 69 08 94 09     | Fax : 01 69 08 83 95              |