google/comprehensive-rust

Make Playground URL configurable

Open

#1.230 geöffnet am 21. Sept. 2023

Auf GitHub ansehen
 (3 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Rust (2.009 Forks)batch import
enhancementgood first issuehelp wanted

Repository-Metriken

Stars
 (32.954 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 9T 23h) (36 gemergte PRs in 30 T)

Beschreibung

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