gnu: dealii: Unregister deleted patch.

* gnu/local.mk (dist_patch_DATA): Drop deleted patch.

This is a follow-up to commit 101e847294.
This commit is contained in:
Andreas Enge 2016-07-31 16:37:39 +02:00
parent 101e847294
commit 70a967209c
No known key found for this signature in database
GPG key ID: F7D5C9BF765C61E3

View file

@ -470,7 +470,6 @@ dist_patch_DATA = \
%D%/packages/patches/clucene-contribs-lib.patch \
%D%/packages/patches/cursynth-wave-rand.patch \
%D%/packages/patches/dbus-helper-search-path.patch \
%D%/packages/patches/dealii-p4est-interface.patch \
%D%/packages/patches/devil-CVE-2009-3994.patch \
%D%/packages/patches/devil-fix-libpng.patch \
%D%/packages/patches/dico-idxgcide-bug.patch \