-
Mikaël Salson authored
Makes the compiler happy too. This, together with commits d0ccbacd 4c5a51d8 and 61c5c497, solves all compilation warnings except the ones coming from an unused parameter (which can make sense).
9d903e2e
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
Makes the compiler happy too. This, together with commits d0ccbacd 4c5a51d8 and 61c5c497, solves all compilation warnings except the ones coming from an unused parameter (which can make sense).