diff options
Diffstat (limited to 'recompress.sh')
| -rwxr-xr-x | recompress.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/recompress.sh b/recompress.sh index f60439ab6..49c73a392 100755 --- a/recompress.sh +++ b/recompress.sh @@ -3,6 +3,7 @@ # Run this script in the root directory of the repository to re-compress # all patches and scripts that were un-compressed to make a better git commit: # +gzip ./extra/source/rust-for-mozilla/link_libffi.diff gzip ./extra/source/php80/php-fpm.conf.diff gzip ./extra/source/php80/doinst.sh gzip ./extra/source/php80/php.imap.api.diff |