Grise les boutons de comparaisons de versions si elles sont identiques#6181

Merged

Arnaud-D merged 2 commits intozestedesavoir:devfrom philippemilink:empeche-comparaisons-identiques

Nov 28, 2021

+43-16

Commits on Nov 22, 2021

Grise les boutons de comparaisons de versions si elles sont identiques
philippemilink
committed

Commits on Nov 28, 2021

Merge branch 'dev' into empeche-comparaisons-identiques
Arnaud-D
authored