diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2022-04-30 07:25:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-30 07:25:35 +0200 |
| commit | fa681580bf14d5b7e7532b8202fd795d96939392 (patch) | |
| tree | bf9619ba4d177f5c5cd4de591abfeb3d834a14c2 /docs/dev | |
| parent | fcc177b6edb269a25394f8483dea58bb0cfc1477 (diff) | |
| parent | 0275f0f5adf67765c944bb842e724ecc314ae6b7 (diff) | |
Merge pull request #1150 from searxng/dependabot/pip/master/pygments-2.12.0
Bump pygments from 2.11.2 to 2.12.0
After each update of the pygments version, we (or github action) should [1]
1. update less files:
./manage pyenv.cmd searxng_extra/update/update_pygments.py
update: static/themes/oscar/src/generated/pygments-logicodev.less
update: static/themes/oscar/src/generated/pygments-pointhi.less
update: static/themes/simple/src/generated/pygments.less
2. rebuild the static files of each themes:
make static.build.commit
[1] https://github.com/searxng/searxng/pull/2#issuecomment-826958666
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions