X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=2020-frama-c%2Fslides%2Fslide04.png;fp=2020-frama-c%2Fslides%2Fslide04.png;h=54ca8e6f00b39d49cd238acdd3fe038c0448b110;hb=d8e14d47fcb1059c50c2af2652cb9837c70fc50f;hp=0000000000000000000000000000000000000000;hpb=263a44294225fe9b2ab4974c56b5fca0a28574df;p=libguestfs-talks.git

diff --git a/2020-frama-c/slides/slide04.png b/2020-frama-c/slides/slide04.png
new file mode 100644
index 0000000..54ca8e6
Binary files /dev/null and b/2020-frama-c/slides/slide04.png differ