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

Doug Coleman 2008-03-20 16:52:51 -05:00
commit 3c0abe4d85
1 changed files with 2 additions and 2 deletions

View File

@ -19,7 +19,7 @@ QUALIFIED: libc.private
QUALIFIED: libc.private
QUALIFIED: listener
QUALIFIED: prettyprint.config
QUALIFIED: random.private
QUALIFIED: random
QUALIFIED: source-files
QUALIFIED: threads
QUALIFIED: vocabs
@ -108,7 +108,7 @@ IN: tools.deploy.shaker
: stripped-globals ( -- seq )
[
random.private:mt ,
random:random-generator ,
{
bootstrap.stage2:bootstrap-time