Merge branch 'master' into popl2012
[match/match.git] / make-package
1 git archive --format=tar --prefix=match/ HEAD^{tree} | bzip2 >match.tar.bz2