From b097a84d62dcfcf201a695b54bcfafae70cac8a6 Mon Sep 17 00:00:00 2001 From: Denys Vlasenko Date: Fri, 28 Dec 2018 03:20:17 +0100 Subject: config: update size information Signed-off-by: Denys Vlasenko --- editors/ed.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'editors/ed.c') diff --git a/editors/ed.c b/editors/ed.c index 05797692c..1a36add39 100644 --- a/editors/ed.c +++ b/editors/ed.c @@ -7,7 +7,7 @@ * The "ed" built-in command (much simplified) */ //config:config ED -//config: bool "ed (25 kb)" +//config: bool "ed (21 kb)" //config: default y //config: help //config: The original 1970's Unix text editor, from the days of teletypes. -- cgit v1.2.3