1
0
mirror of https://github.com/msberends/AMR.git synced 2025-07-08 13:21:50 +02:00

update collabs

This commit is contained in:
2022-11-10 22:07:35 +01:00
parent d2ceebe376
commit af205e2705
3 changed files with 4 additions and 3 deletions

View File

@ -57,6 +57,7 @@ $(document).ready(function() {
// contributors
x = x.replace("Alex", "Prof. Alex");
x = x.replace("Anthony", "Dr. Anthony");
x = x.replace("Annick", "Dr. Annick");
x = x.replace("Bart", "Dr. Bart");
x = x.replace("Bhanu", "Prof. Bhanu");
x = x.replace("Casper", "Prof. Casper");