From d2bc72aa681d013938b9de8f1d9c2e5d7354dc07 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Mon, 1 Jul 2024 19:14:59 +0200 Subject: Regenerating debian files. Signed-off-by: Daniel Baumann --- debian/linux-headers-rt-armmp.maintscript | 1 - 1 file changed, 1 deletion(-) delete mode 100644 debian/linux-headers-rt-armmp.maintscript (limited to 'debian/linux-headers-rt-armmp.maintscript') diff --git a/debian/linux-headers-rt-armmp.maintscript b/debian/linux-headers-rt-armmp.maintscript deleted file mode 100644 index 5e1afcf89d..0000000000 --- a/debian/linux-headers-rt-armmp.maintscript +++ /dev/null @@ -1 +0,0 @@ -dir_to_symlink /usr/share/doc/linux-headers-rt-armmp linux-headers-6.9.7-rt-armmp 5.7~rc5-1~exp1 linux-headers-rt-armmp -- cgit v1.2.3