diff options
| author | Aleksander Machniak <alec@alec.pl> | 2016-11-27 13:16:08 +0300 |
|---|---|---|
| committer | Aleksander Machniak <alec@alec.pl> | 2016-11-27 13:16:08 +0300 |
| commit | c845343916aebca07d834998873cb23076003176 (patch) | |
| tree | b939b396dea25cf67284751823172b13b59b0879 /bin | |
| parent | d2b1941ad56e5bc5662d9a163e51f318f0b87846 (diff) | |
Shrink CodeMirror code
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/jsshrink.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/jsshrink.sh b/bin/jsshrink.sh index d57eda372..0484aa4e5 100755 --- a/bin/jsshrink.sh +++ b/bin/jsshrink.sh @@ -56,7 +56,7 @@ if [ $# -gt 0 ]; then exit fi -DIRS="$PWD/../program/js $PWD/../skins/* $PWD/../plugins/* $PWD/../plugins/*/skins/*" +DIRS="$PWD/../program/js $PWD/../skins/* $PWD/../plugins/* $PWD/../plugins/*/skins/* $PWD/../plugins/managesieve/codemirror/lib" # default: compress application scripts for dir in $DIRS; do for file in $dir/*.js; do |