From 6bad97bd9dc1a322be5b9a749de2df4b5ead4572 Mon Sep 17 00:00:00 2001
From: Nabil Ghodbane <nabil.ghodbane@cea.fr>
Date: Tue, 10 Sep 2024 15:43:33 +0200
Subject: [PATCH] Add Linux Mint to list of Ubuntu distributions

---
 src/internal_config/distrib.pyconf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/internal_config/distrib.pyconf b/src/internal_config/distrib.pyconf
index 67f119a..9476840 100644
--- a/src/internal_config/distrib.pyconf
+++ b/src/internal_config/distrib.pyconf
@@ -18,6 +18,7 @@ DISTRIBUTIONS :
   "ubuntu": "UB"
   "kde neon" :  "UB"
   "tuxedo os" : "UB"
+  "linux mint": "UB"
   "opensuse":"OS"
   "Windows" : "W"
 }
-- 
2.39.2