From: Nabil Ghodbane <nabil.ghodbane@cea.fr>
Date: Tue, 10 Sep 2024 13:43:33 +0000 (+0200)
Subject: Add Linux Mint to list of Ubuntu distributions
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=HEAD;p=tools%2Fsat.git

Add Linux Mint to list of Ubuntu distributions
---

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"
 }