diff plugins/jqueryui/config.inc.php.dist @ 8:bf99236cc5cd

try to recover from upgrade fail
author Charlie Root
date Sat, 29 Dec 2018 07:07:34 -0500
parents 4681f974d28b
children
line wrap: on
line diff
--- a/plugins/jqueryui/config.inc.php.dist	Sat Dec 29 06:32:49 2018 -0500
+++ b/plugins/jqueryui/config.inc.php.dist	Sat Dec 29 07:07:34 2018 -0500
@@ -7,7 +7,6 @@
 $config['jquery_ui_skin_map'] = array(
   'larry' => 'larry',
   'default' => 'larry',
-  'groupvice4' => 'redmond',
 );
 
 ?>