Skip to content
GitLab
Explore
Sign in
Iris
string-ident
Repository
string-ident
opam
Find file
Blame
History
Permalink
Merge branch 'ralf/license' into 'master'
· 7d350b66
Tej Chajed
authored
Mar 27, 2020
make LICENSE consistent with Iris See merge request
!1
7d350b66