Skip to content

fix #14115: GUI: allow that premium misra C is enabled even if there is no misra.py#7806

Merged
ludviggunne merged 1 commit intodanmar:mainfrom
ludviggunne:14115
Sep 30, 2025
Merged

fix #14115: GUI: allow that premium misra C is enabled even if there is no misra.py#7806
ludviggunne merged 1 commit intodanmar:mainfrom
ludviggunne:14115

Commits

Commits on Sep 8, 2025