From e2a860071237928f39b97ad0adff04f6d861e1bb Mon Sep 17 00:00:00 2001
From: Benedikt Werner <1benediktwerner@gmail.com>
Date: Mon, 4 Nov 2019 13:34:38 +0100
Subject: [PATCH] Remove outdated unused var in theme js code

---
 src/theme/book.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/theme/book.js b/src/theme/book.js
index 328151ca..186f9ae1 100644
--- a/src/theme/book.js
+++ b/src/theme/book.js
@@ -16,9 +16,6 @@ function playpen_text(playpen) {
 }
 
 (function codeSnippets() {
-    // Hide Rust code lines prepended with a specific character
-    var hiding_character = "#";
-
     function fetch_with_timeout(url, options, timeout = 6000) {
         return Promise.race([
             fetch(url, options),