1 This directory contains some tools that we use to build and maintain
2 SimGrid itself. I doubt that any of them are useful out of that
3 context, but you are welcome to dig and inspect everything you want.
5 They are not included in the archive and are thus not mandatory to use
8 These little codes are under the same licence than SimGrid itself.