From 6dd502c15f6bec32e8e0639ea157108f0b425e9b Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 19:02:37 +0200 Subject: Setting all user-dirs defaults to $HOME. 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 e69de29..fe38ab7 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -0,0 +1 @@ +progress-linux/0001-user-dirs-defaults.patch -- cgit v1.2.3