[Vampire-devel] [Headers]

[Maxime Biais]

Je viens de forwardé le message que j'ai reçu d'un admin de savannah. Il
faut donc qu'on modifie les headers. La nouvel ligne de Copyright est: 

#    Copyright (C) 2003, Vampire Team <address@hidden>

j'ai créer la ml : address@hidden qui est publique, donc
n'importe qui peut poster dessus. Si vous souhaiter vous abonner
direction;
 
https://savannah.nongnu.org/mail/?group=vampire
http://mail.nongnu.org/mailman/listinfo/vampire-public

-- 
Maxime Biais