log push_cmd.py @ 45:ce00e6ffaa90

age author description
Tue, 28 Oct 2008 11:39:36 -0500 Augie Fackler Fix an encoding bug that would occur if the local encoding was not utf-8.