Update Pygments version from externals.

This commit is contained in:
Georg Brandl 2007-10-23 18:21:35 +00:00
parent 530042816c
commit fef8be66e3
1 changed files with 1 additions and 1 deletions

View File

@ -29,7 +29,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.8.1/pygments tools/pygments; \ svn checkout $(SVNROOT)/external/Pygments-0.9/pygments tools/pygments; \
fi fi
update: checkout update: checkout