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/patch.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'editors/patch.c') diff --git a/editors/patch.c b/editors/patch.c index eca6bc5f6..0ce0210fd 100644 --- a/editors/patch.c +++ b/editors/patch.c @@ -21,7 +21,7 @@ * [file] which file to patch */ //config:config PATCH -//config: bool "patch (9.1 kb)" +//config: bool "patch (9.4 kb)" //config: default y //config: help //config: Apply a unified diff formatted patch. -- cgit v1.2.3