From 30c4ae2eedacfbb99ce91d04f6232e7c26e498dd Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 8 May 2024 19:45:38 +0200 Subject: Merging debian version 5.10.216-1. Signed-off-by: Daniel Baumann --- debian/linux-headers-rt-686-pae.maintscript | 1 - 1 file changed, 1 deletion(-) delete mode 100644 debian/linux-headers-rt-686-pae.maintscript (limited to 'debian/linux-headers-rt-686-pae.maintscript') diff --git a/debian/linux-headers-rt-686-pae.maintscript b/debian/linux-headers-rt-686-pae.maintscript deleted file mode 100644 index a383455c0..000000000 --- a/debian/linux-headers-rt-686-pae.maintscript +++ /dev/null @@ -1 +0,0 @@ -dir_to_symlink /usr/share/doc/linux-headers-rt-686-pae linux-headers-5.10.0-28progress6u1-rt-686-pae 5.7~rc5-1~exp1 linux-headers-rt-686-pae -- cgit v1.2.3