diff frontends/src/jp/cmd_pipe.py @ 2303:37887b5acb25

plugin events: changed import names to EVENTS uppercase for consistency with other plugins
author Goffi <goffi@goffi.org>
date Wed, 05 Jul 2017 14:50:45 +0200
parents 3e168cde7a7d
children 8b37a62336c3
line wrap: on
line diff