[ 2025 ] fixing img formats

scottish-pl-institute · Jan 20, 2025 · 944b4f6 · 944b4f6
1 parent cec0ac6
commit 944b4f6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/2025-edinburgh/index.md b/2025-edinburgh/index.md
@@ -82,7 +82,7 @@ covering more advanced topics.
     </details>
 
 **Application programming with dependent types**
-<img class="avatar" src="assets/edwin_brady.png" />
+<img class="avatar" src="assets/edwin_brady.jpeg" />
 : **Lecturer:** [Edwin Brady](https://www.type-driven.org.uk/edwinb/),
   University of St Andrews
 
@@ -102,7 +102,7 @@ covering more advanced topics.
     </details>
 
 **Models, programs and bidirectional transformations**
-<img class="avatar" src="assets/perdita_stevens.png" />
+<img class="avatar" src="assets/perdita_stevens.jpg" />
 : **Lecturer:** [Perdita Stevens](https://perditastevens.com/), University of
   Edinburgh