diff sat/plugins/plugin_misc_merge_requests.py @ 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 5f65f4e9f8cb
line wrap: on
line diff