From 927d19752418dc264f1ef4d16c826839eb40e018 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 20 Jul 2023 11:49:46 +0000 Subject: [PATCH] Bump pygments from 2.13.0 to 2.15.0 in /.devcontainer Bumps [pygments](https://github.com/pygments/pygments) from 2.13.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.13.0...2.15.0) --- updated-dependencies: - dependency-name: pygments dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- .devcontainer/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/requirements.txt b/.devcontainer/requirements.txt index 4f481a3ce..0e2cf14d8 100644 --- a/.devcontainer/requirements.txt +++ b/.devcontainer/requirements.txt @@ -5,7 +5,7 @@ mkdocs-git-revision-date-localized-plugin==1.1.0 mkdocs-material-extensions==1.0.3 mkdocs-redirects==1.2.0 mkdocs==1.4.0 -pygments==2.13.0 +pygments==2.15.0 pymdown-extensions==10.0 mkdocs-static-i18n==0.47 mkdocs-minify-plugin==0.5.0