google/comprehensive-rust

Make Playground URL configurable

Open

#1.230 aberto em 21 de set. de 2023

Ver no GitHub
 (3 comments) (0 reactions) (0 assignees)Rust (2.009 forks)batch import
enhancementgood first issuehelp wanted

Métricas do repositório

Stars
 (32.954 stars)
Métricas de merge de PR
 (Mesclagem média 9d 23h) (36 fundiu PRs em 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.

Guia do colaborador