summaryrefslogtreecommitdiff
path: root/manage
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2021-04-24 09:11:20 +0200
committerGitHub <noreply@github.com>2021-04-24 09:11:20 +0200
commit0603b043ceadbc833410464bbf576fda8c11dc97 (patch)
tree5fd72422357aeb7dc57198ece210a53c155304d1 /manage
parent4863c1933e523b4d053de3bc49b3b466c96411d9 (diff)
parent6d41255eb19d88fd7a0c94106a6d7fc4e948d018 (diff)
Merge pull request #16 from return42/add-core.ac
Add a search engine for core.ac.uk
Diffstat (limited to 'manage')
-rwxr-xr-xmanage1
1 files changed, 1 insertions, 0 deletions
diff --git a/manage b/manage
index 006241b45..9c322adb4 100755
--- a/manage
+++ b/manage
@@ -38,6 +38,7 @@ PYLINT_FILES=(
searx/engines/yahoo_news.py
searx/engines/apkmirror.py
searx/engines/artic.py
+ searx/engines/core.py
searx_extra/update/update_external_bangs.py
searx/metrics/__init__.py
)