log mx/commands.py @ 9127:5c63e4385115

age author description
Tue, 16 Apr 2013 11:11:56 +0200 Bernhard Urban javac: use UTF-8 as encoding explicitly