try to fix favicon

2024-04-06 12:34:29 +02:00 · 2024-04-06 12:34:29 +02:00 · e4dcb4b111
commit e4dcb4b111
parent 270dcffd09
4 changed files with 2 additions and 2 deletions
--- a/assets/media/icon.png
+++ b/assets/media/icon.png
--- a/assets/media/icon_old.svg
+++ b/assets/media/icon_old.svg
--- a/content/_index.md
+++ b/content/_index.md
@ -27,7 +27,7 @@ sections:
      text: |-
        You can reach me by mail or via Discord.
      # Contact (add or remove contact options as necessary)
-      email: leon.vatthauer _at_ fau.de
+      email: leon.vatthauer@fau.de
      contact_links:
        - icon: discord
          icon_pack: fab
--- a/content/authors/admin/_index.md
+++ b/content/authors/admin/_index.md
@ -28,7 +28,7 @@ bio: ''

 # Interests to show in About widget
 interests:
-  - Programming Language Semantics
+  - Programming Languages
  - Functional Programming
  - Proof Assistants
  - Type Theories