(v3.0.1.9002) replace WHONET directives with their GitHub repo

This commit is contained in:
dr. M.S. (Matthijs) Berends committed 2025-10-13 22:12:48 +02:00
1 parent 0b24967b23
commit d366949f1b
5 files changed
+24 -21

No files matched your search

+1 -1
View File
@@ -145,7 +145,7 @@ $(function () {
x = x.replace("Kathryn", "Prof. Kathryn");
x = x.replace("Larisse", "Dr. Larisse");
x = x.replace("Matthijs", "Dr. Matthijs");
x = x.replace("Natacha", "Dr. Natacha");
x = x.replace("Natacha", "Prof. Natacha");
x = x.replace("Peter", "Dr. Peter");
x = x.replace("Rogier", "Dr. Rogier");
x = x.replace("Sofia", "Dr. Sofia");