add myself as contributor

UniMath · Oct 16, 2023 · 7fded51 · 7fded51
1 parent c5ba6a3
commit 7fded51
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CONTRIBUTORS.toml b/CONTRIBUTORS.toml
@@ -226,3 +226,8 @@ github = "GregorPercic"
 displayName = "Alec Barreto"
 usernames = [ "Alec Barreto" ]
 github = "wrest64"
+
+[[contributors]]
+displayName = "Ulrik Buchholtz"
+usernames = [ "Ulrik Buchholtz" ]
+github = "UlrikBuchholtz"