summaryrefslogtreecommitdiff
path: root/debian/source
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2025-10-26 16:44:20 +0100
committerJörg Frings-Fürst <debian@jff-webhosting.net>2025-10-26 16:44:20 +0100
commit9de1aaac29b9648a85576fc48fabba88fdd26eb2 (patch)
tree395c8515a6091246f753f2c816418df71546e6a3 /debian/source
parentb0c7b846aaaf1584e11a9ed0f2328628386bd012 (diff)
overrides: Remove now useless source-is-missing
Diffstat (limited to 'debian/source')
-rw-r--r--debian/source/lintian-overrides1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides
deleted file mode 100644
index aec63b9..0000000
--- a/debian/source/lintian-overrides
+++ /dev/null
@@ -1 +0,0 @@
-source-is-missing [app/doc/xtrkcad-manual-5.3.0.html]