mirror of
https://github.com/php/php-src.git
synced 2024-11-25 10:54:15 +08:00
4 lines
124 B
C
4 lines
124 B
C
/* automatically generated by configure */
|
|
/* edit configure.in to change version number */
|
|
#define PHP_VERSION "4.0.7-dev"
|