From bc710e890d99f522d4adb0fa9bff5b0504a5a036 Mon Sep 17 00:00:00 2001 From: Jacek Kowalski <Jacek@jacekk.info> Date: Mon, 28 Aug 2017 10:33:48 +0000 Subject: [PATCH] Fixes for PHP 7.0 compatibility --- BUILD | 7 ------- 1 files changed, 0 insertions(+), 7 deletions(-) diff --git a/BUILD b/BUILD index a77948d..c5b8b1f 100644 --- a/BUILD +++ b/BUILD @@ -3,13 +3,6 @@ REMOVEGLOB /.git/* REMOVEDIR /.git -REMOVE /covers/own/.emptydir -REMOVE /covers_big/own/.emptydir - -REMOVE /includes/MARC21_opisy.php - -REMOVEGLOB /help/* -REMOVEDIR /help VERSION -- Gitblit v1.9.1