From b530e48f6ddf33775c6a98e2a7bd4cd537862ad5 Mon Sep 17 00:00:00 2001 From: Adriaan de Groot Date: Thu, 3 Jan 2019 21:20:10 +0000 Subject: [PATCH] editors/kile can no longer conflict with editors/kile-kde4 because the latter doesn't exist. --- editors/kile/Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/editors/kile/Makefile b/editors/kile/Makefile index 05aab2486825..399d170997b1 100644 --- a/editors/kile/Makefile +++ b/editors/kile/Makefile @@ -28,8 +28,6 @@ SHEBANG_FILES= *.pl USE_GITHUB= yes GH_ACCOUNT= kde -CONFLICTS_INSTALL= kile-kde4 - OPTIONS_DEFINE= DOCS .include