diff docs/make.bat @ 352:619a32c6baaa

Redirections for "echo" at the end
author Franz Glasner <fzglas.hg@dom66.de>
date Thu, 08 Dec 2022 00:15:21 +0100
parents 86d8929e4747
children
line wrap: on
line diff