index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
gbp.conf
blob: 45e572f6ec38921f6d896f102763590230ae6a5a (
plain
)
1
2
[DEFAULT] upstream-tree = df5c5f547990c1f80ab7594a1f9287ee03a61754
