comparison frontends/src/primitivus/profile_manager.py @ 517:59b32c04e105

plugin text commands: added /help command
author Goffi <goffi@goffi.org>
date Sat, 20 Oct 2012 19:22:51 +0200
parents 62f7f2403093
children ca13633d3b6b
comparison
equal deleted inserted replaced
516:7ee15fbe8c08 517:59b32c04e105