From 826dadc3acc0f4548728a468efd034cefd8134e1 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 21 Jan 2019 09:48:35 +0100
Subject: core/ding-libs: remove obsolete patch

---
 core/ding-libs/PKGBUILD | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 core/ding-libs/PKGBUILD

diff --git a/core/ding-libs/PKGBUILD b/core/ding-libs/PKGBUILD
deleted file mode 100644
index 451e64ab..00000000
--- a/core/ding-libs/PKGBUILD
+++ /dev/null
@@ -1,7 +0,0 @@
-# i486-specific
-if [ "${CARCH}" = "i486" ]; then
-  # disable documentation
-  makedepends=(${makedepends[@]//doxygen/})  
-
-  unset check
-fi
-- 
cgit v1.2.3-70-g09d2