Remove debian/source/local-options
authorStephane Glondu <steph@glondu.net>
Tue, 6 Aug 2019 07:31:06 +0000 (09:31 +0200)
committerStephane Glondu <Stéphane Glondu glondu@debian.org>
Tue, 6 Aug 2019 07:31:06 +0000 (09:31 +0200)
commite34b649daf684bf2ed1f05d00a9e72125c4eb889
treeb6fd626bd4dffaa67e1fa629ffc75713a04723ea
parent3118806fe3be054e700e818aff9aa510afb9797c
Remove debian/source/local-options
debian/source/local-options [deleted file]