From a52072ce172e7624c0efc09692c0d991d0b4221e Mon Sep 17 00:00:00 2001
From: jlangch <juerg.ch@ggaweb.ch>
Date: Fri, 19 Jan 2024 22:40:50 +0100
Subject: [PATCH] Update ChangeLog.md

---
 ChangeLog.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ChangeLog.md b/ChangeLog.md
index 58e54b5f6..8a0cd6649 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -17,7 +17,7 @@ All notable changes to this project will be documented in this file.
 
 ### Refactored
 
-- the global vars "*REPL*" and "*repl-color-theme*". Dedicated REPL functions like 
+- the global vars "\*REPL\*" and "\*repl-color-theme\*". Dedicated REPL functions like 
   `(repl/color-theme)` provide now access to the REPL configuration. 
   This affects only the internal REPL scripts.