Marco d'Itri cb55571677 delete debian/source/options ...

xz has been the default for a while.

2017-11-05 11:59:39 +01:00

..

source

delete debian/source/options

2017-11-05 11:59:39 +01:00

changelog

Debian changelog for 5.2.18

2017-08-22 18:48:50 +02:00

compat

Switch to debhelper compatibility version 9

2016-10-30 17:16:50 +01:00

control

debian/control: update the policy version

2017-08-22 18:48:35 +02:00

copyright

Imported Debian version 4.7.25

2013-03-30 02:31:36 +01:00

rules

Autodetect libidn/libidn2 support with pkg-config

2017-08-22 18:35:12 +02:00