From c4b65b05d2c46f4c267cb7dae952addd72b07d43 Mon Sep 17 00:00:00 2001 From: Michael Kifer Date: Sun, 9 Apr 2023 02:57:00 -0400 Subject: [PATCH] changed font --- profile/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/profile/README.md b/profile/README.md index 1600f15..094d73d 100644 --- a/profile/README.md +++ b/profile/README.md @@ -182,7 +182,7 @@ If the old official release is no longer needed, it can be easily uninstalled by **Linux/Mac:** * starting the version of ErgoAI you want to discard (double-click on its icon, the studio or terminal version - doesn't matter) -* type System[uninstall]@\sys. and confirm +* type `System[uninstall]@\sys.` and confirm * delete the ErgoAI window **Windows:** use the standard uninstallation facilities in Windows.