P281424/AMR
1
0
Fork 0
mirror of https://github.com/msberends/AMR.git synced 2025-10-31 02:48:21 +01:00
Code Releases Activity

Built site for AMR: 1.8.2.9091@33f269e

Browse Source
This commit is contained in:
github-actions
2023-01-12 22:23:33 +00:00
parent 32eee46345
commit d37dc49b96
99 changed files with 541 additions and 533 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
extra.js
View File

@@ -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");