Stop adding playpen.js

onur · onur · commit 633d08dbfa2a · 2016-10-18T12:58:50.000+03:00
diff --git a/src/docbuilder/chroot_builder.rs b/src/docbuilder/chroot_builder.rs
@@ -379,8 +379,7 @@ impl DocBuilder {
             ["rustdoc.css",
              "main.css",
              "main.js",
-             "jquery.js",
-             "playpen.js"],
+             "jquery.js"],
             // files doesn't require rustc version subfix
             ["normalize.css",
              "FiraSans-Medium.woff",
