comparison 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
comparison
equal deleted inserted replaced
3486:c9703067c700 3487:75427f0a5445