From 72e9cab83fa8d563b3cb748664e940ba0ac536fa Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 21:53:53 +0200 Subject: Adding keyword bookmarks. Signed-off-by: Daniel Baumann --- debian/patches/series | 1 + 1 file changed, 1 insertion(+) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index 063523adb7..7f30dee90d 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -16,3 +16,4 @@ debian-hacks/Set-DPI-to-system-settings.patch debian-hacks/Don-t-auto-disable-extensions-in-system-directories.patch debian-hacks/Work-around-GCC-ICE-on-ppc64el.patch debian-hacks/Allow-to-build-oxilangtag-ffi-with-rustc-1.65.patch +progress-linux/0001-keyword-bookmarks.patch -- cgit v1.2.3