config: update size information

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
2018-12-28 03:20:17 +01:00
parent 10bde14292
commit b097a84d62
262 changed files with 321 additions and 313 deletions
--- 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.