Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
ide
gconfig.ml
Find file
Blame
History
Permalink
Add customization of foreground colors for error messages.
· 8c7aaafc
Sylvain Dailler
authored
Jun 01, 2018
Black on red was not readable. Colors to be decided.
8c7aaafc