diff frontends/src/jp/xmlui_manager.py @ 2516:842bd1594077

jp (file/send): --name can now be specified
author Goffi <goffi@goffi.org>
date Wed, 14 Mar 2018 07:57:04 +0100
parents 0046283a285d
children 65695b9343d3
line wrap: on
line diff