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: 59d563eb76b10a247d1a115668cf657e28ce458d (
plain
)
1
2
[DEFAULT] upstream-tree = 43361334dd4f9be3efe0cf7cdf984c140cd74b14