config: dpkg_deb should be dpkg-deb
authorDenys Vlasenko <vda.linux@googlemail.com>
Fri, 28 Dec 2018 17:24:45 +0000 (18:24 +0100)
committerDenys Vlasenko <vda.linux@googlemail.com>
Fri, 28 Dec 2018 17:24:45 +0000 (18:24 +0100)
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
archival/dpkg_deb.c

index 892cb3b8f958bba98899522e48fcab9b0c0881f0..c2c4cbbcc660d97d9acc5360fc859de9defc22ae 100644 (file)
@@ -5,7 +5,7 @@
  * Licensed under GPLv2 or later, see file LICENSE in this source tree.
  */
 //config:config DPKG_DEB
-//config:      bool "dpkg_deb (30 kb)"
+//config:      bool "dpkg-deb (30 kb)"
 //config:      default y
 //config:      select FEATURE_SEAMLESS_GZ
 //config:      help