Skip to content
GitLab
Explore
Sign in
c
LICENSE
Find file
Blame
Permalink
Mar 13, 2020
bdc7e7e0
Update LICENSE.
· bdc7e7e0
Robbert Krebbers
authored
Mar 13, 2020
bdc7e7e0
Update LICENSE.
Robbert Krebbers
authored
Mar 13, 2020
This project is licensed under the
BSD 3-Clause "New" or "Revised" License
.
Learn more
Loading