Shrink css in plugins/jqueryui/themes (#8337)

4 years ago · 0f74c2904a
1 changed files with 1 additions and 1 deletions
--- a/bin/cssshrink.sh
+++ b/bin/cssshrink.sh
@ -26,7 +26,7 @@ if [ $# -gt 0 ]; then
    exit
 fi
 DIRS="$PWD/../skins/* $PWD/../plugins/* $PWD/../plugins/*/skins/*"
 DIRS="$PWD/../skins/* $PWD/../plugins/* $PWD/../plugins/*/skins/*  $PWD/../plugins/*/themes/*"
 # default: compress application scripts
 for dir in $DIRS; do
    for file in $dir/*.css; do