Use new Pygments version.

This commit is contained in:
Georg Brandl 2009-12-30 16:21:26 +00:00
parent 9b02e85e8d
commit 95049f2561

View file

@ -44,7 +44,7 @@ checkout:
fi fi
@if [ ! -d tools/pygments ]; then \ @if [ ! -d tools/pygments ]; then \
echo "Checking out Pygments..."; \ echo "Checking out Pygments..."; \
svn checkout $(SVNROOT)/external/Pygments-0.11.1/pygments tools/pygments; \ svn checkout $(SVNROOT)/external/Pygments-1.1.1/pygments tools/pygments; \
fi fi
update: checkout update: checkout