diff tools/jid.py @ 204:b2e1a13ed596

misc minors fixed before release
author Goffi <goffi@goffi.org>
date Fri, 20 Aug 2010 01:15:58 +0800
parents 2240f34f6452
children
line wrap: on
line diff