diff docs/make.bat @ 386:84d2735fe7f6

Simplified version tagging a lot: it is also faster now. While being there: adjusting copyright year to end in 2023 now.
author Franz Glasner <fzglas.hg@dom66.de>
date Thu, 23 Feb 2023 01:08:31 +0100
parents 86d8929e4747
children
line wrap: on
line diff