Merge branch 'master' of gitorious.org:devinsy/devinsy-utils

Try to fix a push issue.
This commit is contained in:
Christian P. MOMON 2013-09-02 13:35:04 +02:00
commit 8bb24ce69c

Diff content is not available