Add Linux Mint to list of Ubuntu distributions

diff --git a/src/internal_config/distrib.pyconf b/src/internal_config/distrib.pyconf
index 67f119ae2fa03b3a2747bbd7816416a90dc0831b..9476840b971b7b928b2be73e4a7a894b55d522c3 100644 (file)
--- 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"
   "ubuntu": "UB"
   "kde neon" :  "UB"
   "tuxedo os" : "UB"

+  "linux mint": "UB"

   "opensuse":"OS"
   "Windows" : "W"
 }
   "opensuse":"OS"
   "Windows" : "W"
 }