diff doc/make.bat @ 502:4d45bed01183

doc: add forgotten file: fix 424
author Goffi <goffi@goffi.org>
date Wed, 04 Oct 2023 23:17:06 +0200
parents aafd814e34b5
children
line wrap: on
line diff