diff options
author | Michal Čihař <michal@cihar.com> | 2017-11-28 13:02:01 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-28 13:02:01 +0300 |
commit | 80e90bfb7b4b3df999635670d981f953df35adad (patch) | |
tree | 41a801acee5f350119754cee005bb6c79a1aca1d /scripts/create-release.sh | |
parent | a5afef2208ebb301bd437b8324e93b0f2e94b01e (diff) | |
parent | e0900ecc98c16eec4ff9173ddac18ea71088e17a (diff) |
Merge pull request #13706 from mauriciofauth/jquery-src
Remove jQuery and jQuery UI sources from repository
Diffstat (limited to 'scripts/create-release.sh')
-rwxr-xr-x | scripts/create-release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/create-release.sh b/scripts/create-release.sh index 21385152e7..b101c422aa 100755 --- a/scripts/create-release.sh +++ b/scripts/create-release.sh @@ -321,7 +321,7 @@ for kit in $KITS ; do mv htmldoc doc/html rm doc/html/.buildinfo doc/html/objects.inv # Javascript sources - rm -rf js/vendor/jquery/src/ js/vendor/openlayers/src/ + rm -rf js/vendor/openlayers/src/ fi # Remove developer scripts |