mirror of
https://github.com/php/doc-de.git
synced 2026-04-28 01:13:12 +02:00
f27f83c8d1
# configure.php reports an error, but I can't find the problem => help welcome git-svn-id: https://svn.php.net/repository/phpdoc/de/trunk@288115 c90b9560-bf6c-de11-be94-00142212c4b1