Skip to content
GitLab
Explore
Sign in
Davide Cavezza
TACAS20repo
Repository
TACAS20repo
license.txt
Find file
Blame
History
Permalink
Added GPL license
· bd9d96f8
Davide Cavezza
authored
Oct 25, 2019
bd9d96f8
This project is licensed under the
GNU General Public License v3.0 or later
.
Learn more