[Vampire-devel] Fw: Headers

[Maxime Biais]

Begin forwarded message:

To: Maxime Biais <address@hidden>
Subject: Headers

Bonjour,

Après avoir exécuter votre demande de suppression des répertoire vide de
votre CVS, je me suis aperçu que vos headers ne sont pas corrects
notamment sur la ligne du copyright par exemple dans vampire.py vous avez:

#    Copyright (C) 2003, Maxime Biais <address@hidden>

et dans AbstractVampire.py

#    Copyright (C) 2003, Nicolas LE COZ <address@hidden>

Il faudrait que le copyright soit associé à la même personne pour tout le
projet.

Je vous propose :

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

merci de corriger cela au plus vite.

-- 
Maxime Biais