actions
/
mdBook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #751 from mattico/update-playpen-bt 

Fix rust playground execute API
This commit is contained in:
Matt Ickstadt 2018-07-30 19:18:18 -05:00 committed by GitHub
parent d87e77edd0 d054140117
commit 76c1c9e0a8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/theme/book.js
View File

@ -101,7 +101,8 @@ function playpen_text(playpen) {
crateType: "bin", crateType: "bin",
tests: false, tests: false,
code: text, code: text,
} backtrace: false,
};
if (text.indexOf("#![feature") !== -1) { if (text.indexOf("#![feature") !== -1) {
params.channel = "nightly"; params.channel = "nightly";