log sat_frontends/jp/cmd_info.py @ 2898:fc78d53f0ffa

age author description
Sat, 12 Jan 2019 12:25:31 +0100 Goffi date update
Sat, 01 Dec 2018 14:35:28 +0100 Goffi jp (info/disco): better default output for extensions