From: Nabil Ghodbane 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=6bad97bd9dc1a322be5b9a749de2df4b5ead4572;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" }