Juergen Daubert 8b33424edb php: update to 7.2.15		2019-02-08 10:54:13 +01:00
..
.footprint
.signature	php: update to 7.2.15	2019-02-08 10:54:13 +01:00
Pkgfile	php: update to 7.2.15	2019-02-08 10:54:13 +01:00