P281424/AMR
1
0
Fork 0
mirror of https://github.com/msberends/AMR.git synced 2026-02-09 11:52:57 +01:00
Code Releases Activity

Built site for AMR: 1.8.2.9046@af205e2

Browse Source
This commit is contained in:
github-actions
2022-11-10 21:16:02 +00:00
parent 7fe29a8401
commit d31b599825
95 changed files with 509 additions and 506 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
extra.js
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");