php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-04-10 01:23:53 +02:00
Code Issues Packages Projects Releases Wiki Activity
91,893 Commits 547 Branches 1,483 Tags
000be61fb8a034b3ce2dc3d7bbfbc912295b86e9
Commit Graph

3 Commits

Author SHA1 Message Date
Anatol Belski
df71933bd2 make use of PHPROOT for possible mkdist integration 2015-08-10 09:57:05 +02:00
Anatol Belski
c0b3665f37 make scripts/dev/gen_verify_stub executable 2015-08-10 09:50:54 +02:00
Anatol Belski
7600f5246c initial add verification stub generator 2015-08-10 09:48:28 +02:00