Salome HOME
projects
/
tools
/
sat.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
sorted sat log and fix wambeke as not debug mode
[tools/sat.git]
/
src
/
debug.py
diff --git
a/src/debug.py
b/src/debug.py
index 30d6ea7d852bd897191df9ad2001e03573b7af69..1fbdcd47b39827ac27eed8a147492be0b651dc7d 100755
(executable)
--- a/
src/debug.py
+++ b/
src/debug.py
@@
-73,7
+73,7
@@
except ImportError:
_debug = [False] #support push/pop for temporary activate debug outputs
# wambeke is christian at home
-_developers = ["
christian", "
wambeke"]
+_developers = ["
xchristian", "x
wambeke"]
def isDeveloper():