Historia zmian

Autor SHA1 Wiadomość Data
  Samuel Thibault a53cd095e4 add openmpi suppression 7 lat temu
  Nathalie Furmento aae4029d83 INRIA is now called Inria 7 lat temu
  Nathalie Furmento 4b7f8373b8 tools: re-organize directories 8 lat temu