diff options
| author | Andi Gutmans <andi@php.net> | 2000-10-02 15:12:47 +0000 |
|---|---|---|
| committer | Andi Gutmans <andi@php.net> | 2000-10-02 15:12:47 +0000 |
| commit | a37b138d7c9f4b47bd1fde2670a9391f15e54cca (patch) | |
| tree | c89d132e0be71275f015a728f6aea9f35cc8ea91 | |
| parent | 79a898697d090812e5c3460630c0817bbf7c42fa (diff) | |
| download | php-git-a37b138d7c9f4b47bd1fde2670a9391f15e54cca.tar.gz | |
- Darn file is needed for Windows. Maybe it should be called
php_version.w32.h?
| -rw-r--r-- | main/php_version.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/main/php_version.h b/main/php_version.h new file mode 100644 index 0000000000..4065a40092 --- /dev/null +++ b/main/php_version.h @@ -0,0 +1,3 @@ +/* automatically generated by configure */ +/* edit configure.in to change version number */ +#define PHP_VERSION "4.0.3RC1" |