Skip to content
GitLab
Explore
Sign in
coq-stdpp
LICENSE
Find file
Blame
History
Permalink
LICENSE: Clarify which BSD license is being used
· d6ab6561
Paolo G. Giarrusso
authored
Jul 10, 2020
Sister MR to
iris/iris!472
.
d6ab6561
This project is licensed under the
BSD 3-Clause "New" or "Revised" License
.
Learn more
