- grrr... patch file which is actually _used_

Changed files:
    php-ini.patch -> 1.12

diff --git a/php-ini.patch b/php-ini.patch
index 7529ffa08bd3d35ca1f08857bc180ea453d983ac..36e5aaa8c44bf0372bb066c839790e0678dfa185 100644 (file)
--- a/php-ini.patch
+++ b/php-ini.patch
@@ -1,6 +1,5 @@
-diff -urN php-5.0.1.org/php.ini-dist php-5.0.1/php.ini-dist
---- php-5.0.1.org/php.ini-dist 2004-08-13 13:28:45.800911928 +0200
-+++ php-5.0.1/php.ini-dist     2004-08-13 13:31:28.844125592 +0200
+--- php-5.0.1.org/php.ini      2004-08-13 13:28:45.800911928 +0200
++++ php-5.0.1/php.ini  2004-08-13 13:31:28.844125592 +0200
 @@ -3,13 +3,18 @@
  ;;;;;;;;;;;
  ; WARNING ;