From e1887a9cb8f318dd9f27ebb86f4f393277fe89b4 Mon Sep 17 00:00:00 2001 From: Santiago Vila Date: Mon, 12 May 2025 21:15:00 +0200 Subject: [PATCH] Drop obsolete debian/2775-dirs. --- debian/2775-dirs | 1 - 1 file changed, 1 deletion(-) delete mode 100644 debian/2775-dirs diff --git a/debian/2775-dirs b/debian/2775-dirs deleted file mode 100644 index ad85adc..0000000 --- a/debian/2775-dirs +++ /dev/null @@ -1 +0,0 @@ -var/local