Skip to content

Set light and contrast theme colors for warning messages to amber#1019

Merged
rtetley merged 1 commit intocoq:mainfrom Durbatuluk1701:warning_message_color_changeJan 30, 2025
+2-2

Commits