diff frontends/src/jp/arg_tools.py @ 2340:4fd499d14b27

jp (info): fixed help for version and session
author Goffi <goffi@goffi.org>
date Sun, 20 Aug 2017 15:01:35 +0200
parents f4e05600577b
children 5129a0506739
line wrap: on
line diff