diff options
Diffstat (limited to 'editors/awk.c')
-rw-r--r-- | editors/awk.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/awk.c b/editors/awk.c index 8e79d3159..17bbdc62a 100644 --- a/editors/awk.c +++ b/editors/awk.c | |||
@@ -7,7 +7,7 @@ | |||
7 | * Licensed under GPLv2 or later, see file LICENSE in this source tree. | 7 | * Licensed under GPLv2 or later, see file LICENSE in this source tree. |
8 | */ | 8 | */ |
9 | //config:config AWK | 9 | //config:config AWK |
10 | //config: bool "awk (22 kb)" | 10 | //config: bool "awk (23 kb)" |
11 | //config: default y | 11 | //config: default y |
12 | //config: help | 12 | //config: help |
13 | //config: Awk is used as a pattern scanning and processing language. | 13 | //config: Awk is used as a pattern scanning and processing language. |