-
Raphaël Bleuse authored
SimGrid option names have moved to kebab-case since d2870500, published in SimGrid 3.13. Aliases for the old option names were removed by 772b8468, published in SimGrid 3.26.
SimGrid option names have moved to kebab-case since d2870500, published in SimGrid 3.13. Aliases for the old option names were removed by 772b8468, published in SimGrid 3.26.