log doc/jp/ping.rst @ 3431:5d7569378914

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