Reworking after run through with Paolo.

[libguestfs-talks.git] / 2020-frama-c / 1500-frama-c-core-plugins.html

diff --git a/2020-frama-c/3000-frama-c.html b/2020-frama-c/1500-frama-c-core-plugins.html
similarity index 100%
rename from 2020-frama-c/3000-frama-c.html
rename to 2020-frama-c/1500-frama-c-core-plugins.html