diff frontends/src/quick_frontend/quick_utils.py @ 517:59b32c04e105

plugin text commands: added /help command
author Goffi <goffi@goffi.org>
date Sat, 20 Oct 2012 19:22:51 +0200
parents 886754295efe
children 3eeb6c865e4d
line wrap: on
line diff