Skip to content
GitLab
Explore
Sign in
Iris
Actris
Repository
actris
_CoqProject
Find file
Blame
History
Permalink
add rules about copying
· fb705371
Daniël Louwrink
authored
Apr 21, 2020
fb705371