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).
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4910
7ddb17901934 debian: define extend-diff-ignore for dpkg-source
Denis Laxalde <denis.laxalde@logilab.fr>
parents:
diff changeset
     1
extend-diff-ignore = "^(contrib/|.gitlab-ci.yml|.hg-format-source|MANIFEST|Makefile|docs/tutorial/.netlify|hgext3rd/evolve/hack/|tests/.testtimes)"