debian/source/options
author Denis Laxalde <denis@laxalde.org>
Fri, 18 Oct 2019 10:17:53 +0200
branchstable
changeset 4912 43e9bb4de6b5
parent 4910 7ddb17901934
child 5294 29f3680823e9
permissions -rw-r--r--
debian: update debhelper compat Level before 9 are deprecated says debhelper 12. Upgrade to 10, which is available in Debian oldstable and old Ubuntu releases to be conservative (and since we probably don't need more).

extend-diff-ignore = "^(contrib/|.gitlab-ci.yml|.hg-format-source|MANIFEST|Makefile|docs/tutorial/.netlify|hgext3rd/evolve/hack/|tests/.testtimes)"