comparison frontends/src/jp/common.py @ 2539:dcc77f23e370

jp (base): add --max option: when MULTI_ITEMS is set, --max options is automatically added, except if NO_MAX flag is set.
author Goffi <goffi@goffi.org>
date Thu, 29 Mar 2018 08:59:38 +0200
parents 772447ec070f
children b27165bf160c
comparison
equal deleted inserted replaced
2538:0a22dc80d671 2539:dcc77f23e370