Nathalie Furmento 5 years ago
parent
commit
75ffb901ac
1 changed files with 0 additions and 0 deletions
  1. 0 0
      contrib/ci.inria.fr/job-1-check.sh

+ 0 - 0
contrib/ci.inria.fr/job-1-check.sh