Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
.gitignore
Find file
Blame
History
Permalink
Adapt to
https://github.com/coq/coq/pull/16920
· 41d38dfc
Pierre Roux
authored
Apr 12, 2023
41d38dfc