Automated Release Preparation

This commit is contained in:
2020-01-16 12:09:30 +01:00
parent b4a37d8bea
commit 34294ef7cb
303 changed files with 5603 additions and 4657 deletions

View File

@@ -91,6 +91,7 @@ function initResizable()
}
collapsedWidth=width;
}
(document.getElementById(location.hash.slice(1))||document.body).scrollIntoView();
}
function collapseExpand()