From 7fce8f9b23ce459acce2136797fa2ed589bfa904 Mon Sep 17 00:00:00 2001 From: Alex Clarke Date: Fri, 7 Nov 2025 13:43:09 -0700 Subject: [PATCH] docs: Removed a forgotten TODO comment --- docs/REPL-PROMPT.md | 1 - 1 file changed, 1 deletion(-) diff --git a/docs/REPL-PROMPT.md b/docs/REPL-PROMPT.md index d0ba268..01acbb9 100644 --- a/docs/REPL-PROMPT.md +++ b/docs/REPL-PROMPT.md @@ -1,6 +1,5 @@ # Customize REPL Prompt -[//]: # (TODO link to this doc from the main README) The prompt you see when you start the Loki REPL can be customized to your liking. This is achieved via the `left_prompt` and `right_prompt` settings in the global Loki configuration file: