mirror of
https://github.com/msberends/AMR.git
synced 2026-10-01 04:13:33 +02:00
contrib update
This commit is contained in:
1 parent
51906d6f97
commit
33f269e2f4
5 files changed
+7
-4
No files matched your search
+2
-1
@@ -41,7 +41,7 @@ $(document).ready(function() {
|
||||
$("#ref-examples ~ div pre").html($("#ref-examples ~ div pre").html().replaceAll("# \\dontrun{", ""));
|
||||
$("#ref-examples ~ div pre").html($("#ref-examples ~ div pre").html().replaceAll("# }", ""));
|
||||
}
|
||||
|
||||
|
||||
// remove leading newline in code examples on changelog
|
||||
if ($("body .template-news").length > 0) {
|
||||
$("body .template-news").html($("body .template-news").html().replaceAll('sourceCode R">\n<span', 'sourceCode R"><span'));
|
||||
@@ -56,6 +56,7 @@ $(document).ready(function() {
|
||||
x = x.replace(/Thesis advisor/g, "(former) Doctoral advisor");
|
||||
// contributors
|
||||
x = x.replace("Alex", "Prof. Alex");
|
||||
x = x.replace("Andrew", "Dr. Andrew");
|
||||
x = x.replace("Anthony", "Dr. Anthony");
|
||||
x = x.replace("Annick", "Dr. Annick");
|
||||
x = x.replace("Bart", "Dr. Bart");
|
||||
|
||||
Reference in new issue
Block a user