Commit History

Author SHA1 Message Date
  Nathalie Furmento 8cc22be9f6 add missing bash call 7 years ago
  Nathalie Furmento fd8f48d684 tools: fix copyrights 7 years ago
  Nathalie Furmento aae4029d83 INRIA is now called Inria 7 years ago
  Nathalie Furmento 551d96fc42 tools/dev: move scripts used to check code in checker sub-directory 8 years ago