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.1.9045@e7af5fc

Browse Source
This commit is contained in:
github-actions
2022-08-28 20:45:38 +00:00
parent 44b99f8875
commit a62a35d91d
107 changed files with 3425 additions and 2733 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
extra.js
View File

@@ -27,6 +27,9 @@
$(document).ready(function() {
// Replace 'Developers' with 'Maintainers' on the main page
$(".developers h2").text("Maintainers");
// replace \donttest and \dontrun texts in Examples
if ($("#ref-examples ~ div pre").length > 0) {
$("#ref-examples ~ div pre").html($("#ref-examples ~ div pre").html().replaceAll("# \\donttest{", ""));