From ec3d0a18836bbba56bb377915f840a60377e9e1d Mon Sep 17 00:00:00 2001
From: tokiedokie <thetokiedokie@gmail.com>
Date: Tue, 3 Nov 2020 02:09:03 +0900
Subject: docs: Update toc.json (#8208)

---
 docs/toc.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/toc.json b/docs/toc.json
index 875fc6166..f255b3fa1 100644
--- a/docs/toc.json
+++ b/docs/toc.json
@@ -66,6 +66,7 @@
     "children": {
       "script_installer": "Script installer",
       "formatter": "Formatter",
+      "repl": "Read-eval-print-loop",
       "bundler": "Bundler",
       "documentation_generator": "Documentation generator",
       "dependency_inspector": "Dependency inspector",
-- 
cgit v1.2.3