Update Pygments version used.

This commit is contained in:
Georg Brandl 2008-09-09 19:14:12 +00:00
parent 64063706aa
commit 617027fba4

View file

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