diff docs/make.bat @ 375:9b6fdccfe13c

FIX: filename "/usr"
author Franz Glasner <fzglas.hg@dom66.de>
date Sun, 19 Feb 2023 12:38:24 +0100
parents 86d8929e4747
children
line wrap: on
line diff