Repository navigation

Infra: Pin Pygments to a development version - #5024

Merged

ZeroIntensity merged 3 commits into

python:mainfrom

ZeroIntensity:pin-pygments

Jul 6, 2026

Merged

Infra: Pin Pygments to a development version#5024
ZeroIntensity merged 3 commits into
python:mainfrom
ZeroIntensity:pin-pygments

Commits on Jul 6, 2026
- Pin Pygments to a development version.
  ZeroIntensity
  committed
  180ce4d
- Add a comment.
  ZeroIntensity
  committed
  7bb5e1c
- Update requirements.txt
  
  ZeroIntensity
  and
  hugovk
  authored
  ee9253d