From ccb95071b7e88f63ae989bae15d6b8d67a558e09 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Fri, 19 Apr 2024 04:25:08 +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