Bump metaborg-pygments version number.

metaborg · Apr 9, 2020 · 92e46a0 · 92e46a0
1 parent 6d05783
commit 92e46a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/requirements.txt b/requirements.txt
@@ -5,4 +5,4 @@ sphinx-rtd-theme==0.4.*
 javasphinx==0.9.*
 recommonmark==0.5.*
 Pygments==2.3.*
-git+https://github.com/metaborg/metaborg-pygments.git@master#egg=metaborg-pygments>=0.1.dev6
+git+https://github.com/metaborg/metaborg-pygments.git@master#egg=metaborg-pygments>=0.1.dev7