From b5199cfe51f62a7e6354d731391f569b94972560 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 20 Jul 2023 11:44:27 +0000 Subject: [PATCH] chore(deps): bump pygments from 2.12.0 to 2.15.0 in /docs Bumps [pygments](https://github.com/pygments/pygments) from 2.12.0 to 2.15.0. - [Release notes](https://github.com/pygments/pygments/releases) - [Changelog](https://github.com/pygments/pygments/blob/master/CHANGES) - [Commits](https://github.com/pygments/pygments/compare/2.12.0...2.15.0) --- updated-dependencies: - dependency-name: pygments dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- docs/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/requirements.txt b/docs/requirements.txt index b4bec45..4834369 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -6,7 +6,7 @@ mkdocs-material==8.2.3 git+https://github.com/jimporter/mike@392d57b8bb9d14bcedf2451a0dc302709f8055eb # Markdown extensions -Pygments==2.12.0 +Pygments==2.15.0 pymdown-extensions==9.4 # MkDocs plugins