diff options
author | Rafael Laboissière <rafael@debian.org> | 2024-01-06 18:55:14 -0300 |
---|---|---|
committer | Rafael Laboissière <rafael@debian.org> | 2024-01-06 18:55:14 -0300 |
commit | 585e67b9a28964125d68366a6e819a0c5d643244 (patch) | |
tree | b412747023d68e3c26bad093b37e96e6dbe73ecc | |
parent | 993ad04f8615e9c9757039ad8cafdde48674a10b (diff) |
d/s/options: Drop useless file
-rw-r--r-- | debian/source/options | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/source/options b/debian/source/options deleted file mode 100644 index 27140ec..0000000 --- a/debian/source/options +++ /dev/null @@ -1 +0,0 @@ -extend-diff-ignore=doc/arduino\.pdf |