google/comprehensive-rust

Make Playground URL configurable

Open

#1,230 opened on 2023年9月21日

GitHub で見る
 (3 comments) (0 reactions) (0 assignees)Rust (2,009 forks)batch import
enhancementgood first issuehelp wanted

Repository metrics

Stars
 (32,954 stars)
PR merge metrics
 (平均マージ 9d 23h) (30d で 36 merged PRs)

説明

Contribute a patch to the upstream mdbook to allow us to easily override the Playground URL inside book.js.

This is related to #1016.

コントリビューターガイド