diff --git a/assets/img/using-framac-img.jpg b/assets/img/using-framac-img.jpg deleted file mode 100644 index fdbf77cf51a724a8f9bbe8b60b9aca9869a1edee..0000000000000000000000000000000000000000 Binary files a/assets/img/using-framac-img.jpg and /dev/null differ diff --git a/assets/img/using-framac-img.png b/assets/img/using-framac-img.png new file mode 100755 index 0000000000000000000000000000000000000000..7c215f3cead99526f29d2e69a888ac3c0c996d7d Binary files /dev/null and b/assets/img/using-framac-img.png differ diff --git a/html/contact.html b/html/contact.html old mode 100755 new mode 100644 diff --git a/html/get-frama-c.html b/html/get-frama-c.html old mode 100755 new mode 100644 diff --git a/html/using-frama-c.html b/html/using-frama-c.html old mode 100755 new mode 100644 index 9901cb57ac4a788a6d875fae7e210962cbfd3729..215265ad2627b4e27c12307fa1de1908b50652dc --- a/html/using-frama-c.html +++ b/html/using-frama-c.html @@ -18,7 +18,7 @@ css: plugin <div class="usagePageContent"> <div class="codeDemoHead usageCodeDemo"> <figure> - <img src="/assets/img/using-framac-img.jpg" alt= + <img src="/assets/img/using-framac-img.png" alt= "Using Frama C"> </figure> </div>