mirror of
https://github.com/php/php-src.git
synced 2026-04-17 13:01:02 +02:00
This can avoid some confusions with .gitignored autogenerated `.sh` files in test directories and to distinguish the autogenerated shell files from the tracked in Git ones more easily.