Skip to content
GitLab
Explore
Sign in
Register
Tiago Peixoto
graph-tool
Repository
graph-tool
release
debian
debian
rules
Find file
Blame
History
Permalink
CI: fix debian build and add debian versioning
· de6d1d4b
Tiago Peixoto
authored
Mar 30, 2020
This fixes issue #642
de6d1d4b