diff doc/make.bat @ 3487:75427f0a5445

primivitus: updated constants following global renaming, config section is now `tui` instead of `primitivus`
author Goffi <goffi@goffi.org>
date Sun, 21 Mar 2021 18:16:52 +0100
parents ce16847a7b6d
children
line wrap: on
line diff