diff frontends/src/jp/cmd_pipe.py @ 2070:58f0c96d60e5

quick frontend (menus): minor docstring fixes
author Goffi <goffi@goffi.org>
date Sun, 11 Sep 2016 11:03:25 +0200
parents 3e168cde7a7d
children 8b37a62336c3
line wrap: on
line diff