mirror of
https://github.com/php/php-src.git
synced 2026-03-29 11:42:17 +02:00
At the time of this commit, there is a dedicated folder for development related tools and such scripts might fit better there to not bloat the project root directory too much. Move snapshot to scripts/dev/snapshot
159 B
Executable File
159 B
Executable File