diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2019-02-24 13:01:57 +0100 |
|---|---|---|
| committer | Peter Kokot <peterkokot@gmail.com> | 2019-03-16 23:51:05 +0100 |
| commit | e525ce30a56767cb5bd71221dd98bdc09f3ee60f (patch) | |
| tree | e00939b451157febdd53faac366a90262d4a0c29 /ext/zip/php_zip.c | |
| parent | 78ab79b9164420679da7aba1f7195335d656afda (diff) | |
| download | php-git-e525ce30a56767cb5bd71221dd98bdc09f3ee60f.tar.gz | |
Move distribution generator script to scripts/dev
The more proper place for shell scripts dedicated for development, and
releasing PHP should be the scripts/dev directory. Having a cleaner root
project directory helps find the main README.md and files relevant to
install PHP.
These scripts are also used by the release managers mostly who create
release packages and aren't used often by the majority of developers
working on and installing PHP.
Diffstat (limited to 'ext/zip/php_zip.c')
0 files changed, 0 insertions, 0 deletions