diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2022-01-06 15:36:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-06 15:36:59 +0100 |
| commit | 5305ff8cb6ab8774381a6ff98eb1cb142d625704 (patch) | |
| tree | f20af3f4de567faa96ae6327636393c9fc170626 | |
| parent | 93c6829b27d5319ca85af798015f1e11da566f1f (diff) | |
| parent | a0486cf827eee7f95a2ecb8393016d24b85e19ba (diff) | |
Merge pull request #705 from not-my-profile/leaflet-gitattr
[fix] prevent leaflet.{css,js} from polluting git grep results
| -rw-r--r-- | searx/static/themes/.gitattributes | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/searx/static/themes/.gitattributes b/searx/static/themes/.gitattributes new file mode 100644 index 000000000..dc8d7a30e --- /dev/null +++ b/searx/static/themes/.gitattributes @@ -0,0 +1,2 @@ +leaflet.css -diff +leaflet.js -diff |