From b38f9c956ef5fb3c1a2ea78b7fbf149c5310afef Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 27 Apr 2024 15:42:09 +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