Torsten Zuehlsdorff 64c8e5a937 lang/php72: Upgrade from 7.2.12 to 7.2.13 ... Changelog: http://www.php.net/ChangeLog-7.php#7.2.13 MFH: 2018Q4		2018-12-07 07:54:44 +00:00
..
files	Update to 7.2.11	2018-10-12 15:15:15 +00:00
distinfo	lang/php72: Upgrade from 7.2.12 to 7.2.13	2018-12-07 07:54:44 +00:00
Makefile	lang/php72: Upgrade from 7.2.12 to 7.2.13	2018-12-07 07:54:44 +00:00
Makefile.ext	Remove version 7.0 from the IGNORE_WITH_PHP list.	2018-12-06 11:22:12 +00:00
pkg-descr
pkg-message.mod
pkg-plist	lang/php72: Add missing header file	2017-11-21 12:05:50 +00:00
pkg-plist.mod