Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Gappa
coq
Repository
master
Switch branch/tag
coq
COPYING
Find file
Blame
History
Permalink
Change license to LGPL 3 or later.
· 4f3e8ff9
Guillaume Melquiond
authored
Apr 04, 2020
4f3e8ff9
This project is licensed under the
GNU Lesser General Public License v3.0
.
Learn more
