Merge branch 'master' of git://factorcode.org/git/factor

db4
Slava Pestov 2009-08-09 16:31:03 -05:00
commit 50e366bbe1
4 changed files with 2 additions and 0 deletions

View File

@ -293,6 +293,8 @@ IN: tools.deploy.shaker
{ } { "math.partial-dispatch" } strip-vocab-globals %
{ } { "math.vectors.specialization" } strip-vocab-globals %
{ } { "peg" } strip-vocab-globals %
] when