comparison CONTRAT_SOCIAL_en @ 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 7550ae9cfbac
children
comparison
equal deleted inserted replaced
3493:b54bdd4ec507 3494:b5bed164dce0