diff options
| author | tokiedokie <thetokiedokie@gmail.com> | 2020-11-03 02:09:03 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-02 18:09:03 +0100 |
| commit | ec3d0a18836bbba56bb377915f840a60377e9e1d (patch) | |
| tree | aba06434f1ee3032371150324dc14d1a6d627097 | |
| parent | 272e9b82ebddaa33cbc01cc8b1efd8a36ec3c645 (diff) | |
docs: Update toc.json (#8208)
| -rw-r--r-- | docs/toc.json | 1 |
1 files changed, 1 insertions, 0 deletions
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", |