diff options
| author | Johannes Schauer Marin Rodrigues <josch@debian.org> | 2022-09-25 09:08:59 +0200 |
|---|---|---|
| committer | Johannes Schauer Marin Rodrigues <josch@debian.org> | 2022-09-25 09:08:59 +0200 |
| commit | fe862a12def5efd43c204fbbfb621c37a7855486 (patch) | |
| tree | 448ca5cd739a3dd94dbd75c2a9658be0e48fe025 | |
| parent | 2061db6da43f46e29ce12542f8026158082007be (diff) | |
add lintian-override for map.html false-positive
| -rw-r--r-- | debian/source/lintian-overrides | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides new file mode 100644 index 0000000..080fa29 --- /dev/null +++ b/debian/source/lintian-overrides @@ -0,0 +1,3 @@ +# false-positive +source-is-missing [searx/templates/oscar/result_templates/map.html] +source-is-missing [searx/templates/simple/result_templates/map.html] |