comparison tools/xml_tools.py @ 110:cb904fa7de3c

jp: profile management (new option: --profile)
author Goffi <goffi@goffi.org>
date Tue, 29 Jun 2010 15:45:11 +0800
parents 5ae370c71803
children 7c00c4b0a5c2
comparison
equal deleted inserted replaced
109:18b0cf49a6f1 110:cb904fa7de3c