diff frontends/src/jp/cmd_profile.py @ 2242:e5e54ff0b775

core (tools/common/uri): don't display finale "?" if no extra data is specified
author Goffi <goffi@goffi.org>
date Fri, 19 May 2017 12:40:03 +0200
parents a6c9bc4d1de0
children a7438fe4e24d
line wrap: on
line diff