log doc/jp/ping.rst @ 3435:df775db4c49b

age author description
Tue, 01 Oct 2019 22:49:06 +0200 Goffi doc (jp): jp commands are now fully documented: