X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=2020-frama-c%2F6400-strlen-kernel-proof.html;fp=2020-frama-c%2F6400-strlen.html;h=962f06b7e316bbb7b04c6614273d49fc83cf1c97;hb=6d2dcd916aa3e435d1f8ce691127bd891fc3c69a;hp=962f06b7e316bbb7b04c6614273d49fc83cf1c97;hpb=a44fc27c4a4b02ed570dd5567ff8d309b885e904;p=libguestfs-talks.git

diff --git a/2020-frama-c/6400-strlen.html b/2020-frama-c/6400-strlen-kernel-proof.html
similarity index 100%
rename from 2020-frama-c/6400-strlen.html
rename to 2020-frama-c/6400-strlen-kernel-proof.html