diff README @ 3494:b5bed164dce0

frontends (primitivus): `SECTION_NAME` is now `CONFIG_SECTION`
author Goffi <goffi@goffi.org>
date Thu, 01 Apr 2021 13:57:20 +0200
parents be6d91572633
children
line wrap: on
line diff