Merge remote branch 'mizar/ja'
commit3aa473816e68130465777bbfb4bc8a86e2316bb6
authorScott Chacon <schacon@gmail.com>
Wed, 2 Dec 2009 17:59:28 +0000 (2 09:59 -0800)
committerScott Chacon <schacon@gmail.com>
Wed, 2 Dec 2009 17:59:28 +0000 (2 09:59 -0800)
treef4b957a0fe5367594687b201549af357a9b547ef
parent56f46807666530b274f61fc884bddf3991948bf4
parent4de1ab8c2f444621d47910c65898b0800dcd29c4
Merge remote branch 'mizar/ja'