diff frontends/src/jp/cmd_merge_request.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 772447ec070f
line wrap: on
line diff