From e744bd6b1e053a3ad80a79176fecc1a335177cb6 Mon Sep 17 00:00:00 2001 From: Thomas Glanzmann Date: Tue, 8 Feb 2022 10:24:58 +0100 Subject: [PATCH] rename the debian installer --- pmdi.pl => m1di.pl | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename pmdi.pl => m1di.pl (100%) diff --git a/pmdi.pl b/m1di.pl similarity index 100% rename from pmdi.pl rename to m1di.pl -- 2.39.5