Skip to content
This repository was archived by the owner on Dec 23, 2018. It is now read-only.

Commit 0e97323

Browse files
sptndcsptndc
committed
Rename definition for PHP 5.1-dev to PHP 5.1.7-dev
1 parent 5420973 commit 0e97323

File tree

2 files changed

+1
-1
lines changed

2 files changed

+1
-1
lines changed

‎share/php-build/5.1-dev‎

Lines changed: 0 additions & 1 deletion
This file was deleted.

‎share/php-build/5.1.7-dev‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
install_git "php-5.1.7-dev" "https://github.com/php-src/php.git" "PHP-5.1" buildconf standard

0 commit comments

Comments
 (0)