From c17b1b6507fa7214b3e148ffef5222923d5eff59 Mon Sep 17 00:00:00 2001 From: Alexander Ilin Date: Sat, 2 Mar 2024 00:27:36 +0100 Subject: [PATCH] README: remove an obsolete command-line option --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index c169e96c91..4d43adb7b3 100644 --- a/README.md +++ b/README.md @@ -126,7 +126,6 @@ Common arguments: -run=listener run terminal listener -run=ui.tools run Factor development UI -e= evaluate - -ea= evaluate with auto-use -no-user-init suppress loading of .factor-rc -roots= a list of path-delimited extra vocab roots -- 2.34.1