X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=2020-frama-c%2F2830-range-init-spec-2.html;fp=2020-frama-c%2F4890-range-init-spec-2.html;h=0db511f5235b830d67f97fb086d5aa3463c44bcd;hb=6d2dcd916aa3e435d1f8ce691127bd891fc3c69a;hp=0db511f5235b830d67f97fb086d5aa3463c44bcd;hpb=a44fc27c4a4b02ed570dd5567ff8d309b885e904;p=libguestfs-talks.git

diff --git a/2020-frama-c/4890-range-init-spec-2.html b/2020-frama-c/2830-range-init-spec-2.html
similarity index 100%
rename from 2020-frama-c/4890-range-init-spec-2.html
rename to 2020-frama-c/2830-range-init-spec-2.html