diff doc/jp/ping.rst @ 3486:c9703067c700

jp: config section is now `cli` instead of `jp` following global renaming
author Goffi <goffi@goffi.org>
date Sun, 21 Mar 2021 18:16:09 +0100
parents 72583524cfd3
children
line wrap: on
line diff