annotate tools/__init__.py @ 156:a216dfbb0d50

jp: added default value in --profile option's help
author Goffi <goffi@goffi.org>
date Wed, 04 Aug 2010 12:00:25 +0800
parents c4bc297b82f0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source