log debian/source/options @ 5291:258c0a99c5b0

age author description
Tue, 15 Oct 2019 11:39:58 +0200 Denis Laxalde debian: define extend-diff-ignore for dpkg-source stable