[Wao-commits] 01/01: Modification du build pour filtrer web.xml afin d'injecter la version du projet dans la description du war (termine #6734)