diff options
author | Johannes 'josch' Schauer <josch@debian.org> | 2020-02-01 01:11:12 +0100 |
---|---|---|
committer | Johannes 'josch' Schauer <josch@debian.org> | 2020-02-01 01:11:12 +0100 |
commit | 5ec26ac693c1455d1e725277824f6b0560d37584 (patch) | |
tree | 461230f6b5d822103fb81b51879b4192b86d0e11 /debian | |
parent | e6e516f49697d4cb99a80851fbb037f32ac0949d (diff) |
debian/copyright: also ignore searx/static/themes/simple/js/searx.head.min.js
Diffstat (limited to 'debian')
-rw-r--r-- | debian/copyright | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/copyright b/debian/copyright index e364abc..d583e35 100644 --- a/debian/copyright +++ b/debian/copyright @@ -30,6 +30,8 @@ Files-Excluded: searx/static/themes/simple/js/searx.js searx/static/themes/simple/js/searx.min.js searx/static/themes/simple/js/searx.min.js.map + searx/static/themes/simple/js/searx.head.min.js + searx/static/themes/simple/js/searx.head.min.js.map searx/static/themes/simple/leaflet searx/static/themes/simple/less/ion.less searx/translations/*/LC_MESSAGES/messages.mo |