PR : merge branch V1_2c dans branche principale pour V1_3_0_b1

[modules/kernel.git] / doc / html / INPUT / sources / application.gif

diff --git a/doc/html/INPUT/sources/application.gif b/doc/html/INPUT/sources/application.gif
index 10da488d2dcf2a063029d868686e1882e45487ab..0b05d5c18ee88779d283508781836e2b151f606f 100644 (file)
Binary files a/doc/html/INPUT/sources/application.gif and b/doc/html/INPUT/sources/application.gif differ