From a593fb764b5a9669f1574f7c4d44ad551303e063 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 14 Jan 2020 13:54:14 +0100 Subject: [PATCH] Rename debian/TODO.Debian to debian/TODO --- debian/{TODO.Debian => TODO} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename debian/{TODO.Debian => TODO} (100%) diff --git a/debian/TODO.Debian b/debian/TODO similarity index 100% rename from debian/TODO.Debian rename to debian/TODO -- 2.30.2