X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=2020-frama-c%2F2810-range-init.html;fp=2020-frama-c%2F4850-range-init.html;h=3e9d01eaa41bc62d3e19477f5959fca46144d4eb;hb=6d2dcd916aa3e435d1f8ce691127bd891fc3c69a;hp=3e9d01eaa41bc62d3e19477f5959fca46144d4eb;hpb=a44fc27c4a4b02ed570dd5567ff8d309b885e904;p=libguestfs-talks.git diff --git a/2020-frama-c/4850-range-init.html b/2020-frama-c/2810-range-init.html similarity index 100% rename from 2020-frama-c/4850-range-init.html rename to 2020-frama-c/2810-range-init.html