From 493ad86c8bed77918015e3293c7a52605e0b3f94 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Mon, 11 Feb 2019 11:43:36 +0100 Subject: [PATCH] move back the patch --- debian/patches/{openmp => }/openmp-soname.diff | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename debian/patches/{openmp => }/openmp-soname.diff (100%) diff --git a/debian/patches/openmp/openmp-soname.diff b/debian/patches/openmp-soname.diff similarity index 100% rename from debian/patches/openmp/openmp-soname.diff rename to debian/patches/openmp-soname.diff