]> gitweb.factorcode.org Git - factor.git/commitdiff
Merge commit 'dharmatech/master' into new_representations
authorSlava Pestov <slava@factorcode.org>
Sat, 29 Sep 2007 19:26:51 +0000 (15:26 -0400)
committerSlava Pestov <slava@factorcode.org>
Sat, 29 Sep 2007 19:26:51 +0000 (15:26 -0400)

Trivial merge