model-checker : new model-checker configuration model-check/dot_output=file_name...

[simgrid.git] / doc / webcruft / Paje_MSG_screenshot_thn.jpg

diff --git a/doc/webcruft/Paje_MSG_screenshot_thn.jpg b/doc/webcruft/Paje_MSG_screenshot_thn.jpg
index 5cf4d3f..323d667 100644 (file)
Binary files a/doc/webcruft/Paje_MSG_screenshot_thn.jpg and b/doc/webcruft/Paje_MSG_screenshot_thn.jpg differ