Juergen Daubert 351f9fa077 php: remove extensions.ini from source array		2013-02-25 19:35:33 +01:00
..
.footprint	[notify] php: update to 5.4.12	2013-02-25 13:00:36 +01:00
.md5sum	php: remove extensions.ini from source array	2013-02-25 19:35:33 +01:00
Pkgfile	php: remove extensions.ini from source array	2013-02-25 19:35:33 +01:00