log frontends/src/tools/misc.py @ 1939:e68483c5a999

age author description
Sun, 17 Apr 2016 14:45:26 +0200 Goffi use of /usr/bin/env instead of /usr/bin/python in shebang