Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
share
images
obsaccept32.png
Find file
History
Permalink
add darkened icons for obsolete goals
· 8e4c12d7
Andrei Paskevich
authored
Dec 18, 2010
some space tweaks in IDE
8e4c12d7