diff options
author | Yegor Yefremov <yegorslists@googlemail.com> | 2015-08-07 14:10:09 +0200 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2015-12-22 22:54:12 +0100 |
commit | 9312178f56909ce494d7920c35f96b45fa10a240 (patch) | |
tree | bcf0b031c7c39fef9f33b7e4b5835b444ba10137 /package/jquery-ui-themes | |
parent | d7afb1d29fef01c535fb1a9403767c488ac653cf (diff) |
jQuery: introduce external plugin menu
List all jQuery plugins in a dedicated menu and remove
uneeded jQuery selection.
Signed-off-by: Yegor Yefremov <yegorslists@googlemail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'package/jquery-ui-themes')
-rw-r--r-- | package/jquery-ui-themes/Config.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/package/jquery-ui-themes/Config.in b/package/jquery-ui-themes/Config.in index bea1a4311..a7ae11eca 100644 --- a/package/jquery-ui-themes/Config.in +++ b/package/jquery-ui-themes/Config.in @@ -1,5 +1,5 @@ config BR2_PACKAGE_JQUERY_UI_THEMES - bool "jQuery UI themes" + bool "jquery-ui-themes" depends on BR2_PACKAGE_JQUERY_UI help Themes for jQuery UI. |