log doc/jp/ping.rst @ 3361:43e60c40de65

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