Add Job to contributors

UniMath · Oct 5, 2024 · 1e9b94f · 1e9b94f
1 parent 16b7bba
commit 1e9b94f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CONTRIBUTORS.toml b/CONTRIBUTORS.toml
@@ -242,3 +242,8 @@ github = "UlrikBuchholtz"
 displayName = "Garrett Figueroa"
 usernames = [ "Garrett Figueroa", "djspacewhale" ]
 github = "djspacewhale"
+
+[[contributors]]
+displayName = "Job Petrovčič"
+usernames = [ "Job Petrovčič", "JobPetrovcic" ]
+github = "JobPetrovcic"