From 665ab6d47cc2c23f648008fdf75fa9cdf1892dc1 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 21:53:54 +0200 Subject: Moving unified extensions button to the right in navbar. 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 7f30dee90d..e640e49d0e 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -17,3 +17,4 @@ 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 +progress-linux/0002-order-unified-extensions-button.patch -- cgit v1.2.3