diff doc/make.bat @ 3626:82e616b70a2a

CLI: fix section used for config following name change
author Goffi <goffi@goffi.org>
date Fri, 27 Aug 2021 14:46:52 +0200
parents ce16847a7b6d
children
line wrap: on
line diff