log sat_frontends/jp/cmd_ping.py @ 2737:5c2ed8a5ae22

age author description
Sat, 10 Nov 2018 10:16:38 +0100 Goffi jp: new command "ping"