Add Linux Mint to list of Ubuntu distributions

[tools/sat.git] / data / local.pyconf

diff --git a/data/local.pyconf b/data/local.pyconf
index eb81d5a4612d13d0d77e2e570a21e0c00eb3482c..24ee9ebec4a3ac1a969c9399cd81270e5efed655 100644 (file)
--- a/data/local.pyconf
+++ b/data/local.pyconf
@@ -1,4 +1,4 @@
-  
+
   LOCAL :
   {
     base : 'default'