diff options
Diffstat (limited to 'editors/awk.c')
| -rw-r--r-- | editors/awk.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/editors/awk.c b/editors/awk.c index 2fc7d6102..1a273ff2e 100644 --- a/editors/awk.c +++ b/editors/awk.c | |||
| @@ -6,7 +6,6 @@ | |||
| 6 | * | 6 | * |
| 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 | |||
| 10 | //config:config AWK | 9 | //config:config AWK |
| 11 | //config: bool "awk (22 kb)" | 10 | //config: bool "awk (22 kb)" |
| 12 | //config: default y | 11 | //config: default y |