This commit is contained in:
yunwei37
2023-05-17 07:59:47 +00:00
parent 981d1333f6
commit 450388d509
9 changed files with 15 additions and 15 deletions

View File

@@ -68,7 +68,7 @@ function playground_text(playground, hidden = true) {
}
// updates the visibility of play button based on `no_run` class and
// used crates vs ones available on http://play.rust-lang.org
// used crates vs ones available on https://play.rust-lang.org
function update_play_button(pre_block, playground_crates) {
var play_button = pre_block.querySelector(".play-button");