google/comprehensive-rust

Make Playground URL configurable

Open

#1,230 opened on Sep 21, 2023

View on 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
 (Avg merge 9d 23h) (36 merged PRs in 30d)

Description

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

This is related to #1016.

Contributor guide