Remove debian/source/local-options
authorStephane Glondu <steph@glondu.net>
Wed, 24 Jul 2019 07:37:47 +0000 (09:37 +0200)
committerStephane Glondu <Stéphane Glondu glondu@debian.org>
Wed, 24 Jul 2019 08:30:36 +0000 (10:30 +0200)
commitb8f150719e65db5efc78afb271f01cb1e02e5a85
tree1eabeb716c8fa1e16a35e8c2da427b4431c8753f
parent7b53528a8faef71130b5abd79959ad33334eb336
Remove debian/source/local-options
debian/source/local-options [deleted file]