From 2ac6c9158f54b4ddff4907f092d38f3abe51bf68 Mon Sep 17 00:00:00 2001
From: Daniel Dehennin <daniel.dehennin@ac-dijon.fr>
Date: Wed, 14 Oct 2020 15:08:57 +0200
Subject: [PATCH] Clean garbage file

Ref: #30852
---
 debian/source/.format.un~ | Bin 545 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 debian/source/.format.un~

diff --git a/debian/source/.format.un~ b/debian/source/.format.un~
deleted file mode 100644
index 8ec6bc106b90dca22855a3de0a8099342d4cae4c..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 545
zcmWH`%$*;a=aT=FfhppbTiWbA)sU;EM$fc0CU*<jH9wc_Y`pg})m!}io9C$v3=E7w
z%x$b^prBD$nwe9g2^C_6(jaLN0MRha5X`Kr%L3vtF~na0$)W+6LXaU0|A7Fk6;077
bms%kJj1C=WbbOUSGZYjR$kA)s_<R)rs3s&!