From f29d569cd33a73da5ad675f43a34ad53c5cc9bc6 Mon Sep 17 00:00:00 2001 From: davidovski Date: Thu, 2 Feb 2023 14:10:02 +0000 Subject: Work --- repo/php8/sharedir.patch | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 repo/php8/sharedir.patch (limited to 'repo/php8/sharedir.patch') diff --git a/repo/php8/sharedir.patch b/repo/php8/sharedir.patch deleted file mode 100644 index 7d5c104..0000000 --- a/repo/php8/sharedir.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/php.ini-production -+++ b/php.ini-production -@@ -742,7 +742,7 @@ - ;;;;;;;;;;;;;;;;;;;;;;;;; - - ; UNIX: "/path1:/path2" --;include_path = ".:/php/includes" -+include_path = ".:/usr/share/php8" - ; - ; Windows: "\path1;\path2" - ;include_path = ".;c:\php\includes" -- cgit v1.2.1