Update Pygments version from externals.

This commit is contained in:
Georg Brandl 2007-10-23 18:21:41 +00:00
parent 7c67613bc7
commit d1cdf21cb9

View file

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