sat #11080 done, add command doc and upgrade documentation

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

diff --git a/data/local.pyconf b/data/local.pyconf
index 3646f263431387914c3ac044e147b012448f36a2..7755af0b81ad5dc0712286e6f49ca3eaa3d520e8 100644 (file)
--- a/data/local.pyconf
+++ b/data/local.pyconf
@@ -1,5 +1,4 @@
-  #!/usr/bin/env python
-#-*- coding:utf-8 -*-
+
   LOCAL :
   {
     base : 'default'