diff frontends/src/tools/misc.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 2daf7b4c6756
children 1dfc5516dead
line wrap: on
line diff