diff --git a/assets/img/author/inria.jpg b/assets/img/author/inria.jpg deleted file mode 100644 index e000305f0f7e3d00a4312df654a2813b5d2a5885..0000000000000000000000000000000000000000 Binary files a/assets/img/author/inria.jpg and /dev/null differ diff --git a/assets/img/author/inria.png b/assets/img/author/inria.png new file mode 100644 index 0000000000000000000000000000000000000000..bbec4993b89fd379f1bc859c2723c7ff931b7b4d Binary files /dev/null and b/assets/img/author/inria.png differ diff --git a/html/authors.html b/html/authors.html index 3dca5f61e27d46231a385716a5598b708e357b25..bc4cab2fed0db38aa9be28eea6bb62f0e692063c 100755 --- a/html/authors.html +++ b/html/authors.html @@ -36,7 +36,7 @@ title: Authors - Frama-C