diff options
Diffstat (limited to 'databases/pgfouine/files/patch-pgfouine_vacuum.php')
| -rw-r--r-- | databases/pgfouine/files/patch-pgfouine_vacuum.php | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/databases/pgfouine/files/patch-pgfouine_vacuum.php b/databases/pgfouine/files/patch-pgfouine_vacuum.php deleted file mode 100644 index 098d059e4498..000000000000 --- a/databases/pgfouine/files/patch-pgfouine_vacuum.php +++ /dev/null @@ -1,11 +0,0 @@ ---- pgfouine_vacuum.php.orig 2008-05-06 13:54:43.000000000 +0200 -+++ pgfouine_vacuum.php 2008-05-06 13:55:02.000000000 +0200 -@@ -30,6 +30,8 @@ if(strpos(phpversion(), '4.4') === 0) { - error_reporting(E_ALL); - } - -+ini_set('include_path', '!!PREFIX!!/share/pgfouine'); -+ - include('version.php'); - require_once('include/lib/common.lib.php'); - require_once('include/base.lib.php'); |