Update ChangeLog.md

jlangch · Jan 19, 2024 · a52072c · a52072c
1 parent 7b735f3
commit a52072c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.