Merge branch 'maint'

This commit is contained in:
Bastien 2021-05-08 09:37:36 +02:00
commit da2938d352
1 changed files with 1 additions and 0 deletions

View File

@ -250,6 +250,7 @@ property on the headline itself.")
if(null != target) {
elem.classList.remove(\"code-highlighted\");
target.classList.remove(\"code-highlighted\");
}
}
// @license-end
</script>"