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

Built site for AMR: 1.8.2.9045@d2ceebe

Browse Source
This commit is contained in:
github-actions
2022-11-07 17:57:12 +00:00
parent f74da6c86a
commit 7fe29a8401
95 changed files with 533 additions and 538 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
extra.js
View File

@@ -33,7 +33,7 @@ $(document).ready(function() {
// Replace 'Developers' with 'Maintainers' on the main page, and "Contributors" on the Authors page
$(".developers h2").text("Maintainers");
$(".citation h2").text("Contributors");
$(".citation h2:first").text("All contributors");
// replace \donttest and \dontrun texts in Examples
if ($("#ref-examples ~ div pre").length > 0) {