diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-18 18:48:02 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-18 18:48:17 +0000 |
commit | c066c7f39961a7ad5c087c250a868bbfb48c0876 (patch) | |
tree | 638255e8fca772f401a1bd09ea8cc48a47582283 /debian/linux-headers-rt-amd64.maintscript | |
parent | Merging upstream version 6.7.12. (diff) | |
download | linux-c066c7f39961a7ad5c087c250a868bbfb48c0876.tar.xz linux-c066c7f39961a7ad5c087c250a868bbfb48c0876.zip |
Merging debian version 6.7.12-1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/linux-headers-rt-amd64.maintscript')
-rw-r--r-- | debian/linux-headers-rt-amd64.maintscript | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/linux-headers-rt-amd64.maintscript b/debian/linux-headers-rt-amd64.maintscript deleted file mode 100644 index 8c2b79595f..0000000000 --- a/debian/linux-headers-rt-amd64.maintscript +++ /dev/null @@ -1 +0,0 @@ -dir_to_symlink /usr/share/doc/linux-headers-rt-amd64 linux-headers-6.7.9-progress7.99-rt-amd64 5.7~rc5-1~exp1 linux-headers-rt-amd64 |