xbt_os_procname and xbt_binary_name are the same -- keep only one of them

[simgrid.git] / doc / webcruft / simgrid-101_026.png

diff --git a/doc/webcruft/simgrid-101_026.png b/doc/webcruft/simgrid-101_026.png
index 986f8de628c51cfc192e81595c02b4b67d27e77e..47f0b815411990831c1b2519dfdfd9cdbf24995e 100644 (file)
Binary files a/doc/webcruft/simgrid-101_026.png and b/doc/webcruft/simgrid-101_026.png differ