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/awk.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'editors/awk.c') diff --git a/editors/awk.c b/editors/awk.c index af103e3cc..b6d8cf203 100644 --- a/editors/awk.c +++ b/editors/awk.c @@ -7,7 +7,7 @@ * Licensed under GPLv2 or later, see file LICENSE in this source tree. */ //config:config AWK -//config: bool "awk (22 kb)" +//config: bool "awk (23 kb)" //config: default y //config: help //config: Awk is used as a pattern scanning and processing language. -- cgit v1.2.3