Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
drivers
princess.drv
Find file
Blame
History
Permalink
do not put spaces around colon in metas and labels
· 9fa6da6d
Andrei Paskevich
authored
Mar 08, 2016
9fa6da6d