diff plugins/plugin_misc_cs.py @ 110:cb904fa7de3c

jp: profile management (new option: --profile)
author Goffi <goffi@goffi.org>
date Tue, 29 Jun 2010 15:45:11 +0800
parents 18b0cf49a6f1
children 5c68a65548c3
line wrap: on
line diff