index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
gbp.conf
blob: 6c7ed3be996f402cc16804317fd9e109e9ba8f6f (
plain
)
1
2
3
[DEFAULT] pristine-tar = True cleaner = debuild clean && dh_quilt_unpatch && dh_clean