Commit History

Author SHA1 Message Date
  Nathalie Furmento 6a16f8370f update copyright holders 5 years ago
  Nathalie Furmento fd8f48d684 tools: fix copyrights 7 years ago
  Nathalie Furmento 29671a72f1 tools/dev/checker/rename.sed: revert last commit 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