From f42aa8c723ac872b6471040924a492036b332cf0 Mon Sep 17 00:00:00 2001 From: Andrew Ruthven Date: Wed, 20 Feb 2019 13:57:15 +1300 Subject: [PATCH] Change patch name to better name --- debian/patches/{remove_rmmod.diff => move_rmmod.diff} | 0 debian/patches/series | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename debian/patches/{remove_rmmod.diff => move_rmmod.diff} (100%) diff --git a/debian/patches/remove_rmmod.diff b/debian/patches/move_rmmod.diff similarity index 100% rename from debian/patches/remove_rmmod.diff rename to debian/patches/move_rmmod.diff diff --git a/debian/patches/series b/debian/patches/series index 64c6d4c..9be992d 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,3 @@ paths.diff -remove_rmmod.diff +move_rmmod.diff dkms.diff -- 2.30.2