]> gitweb.factorcode.org Git - factor.git/commit
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)
commit07c4da864e883efb8917dfc0073828a21c83338e
tree3bb62a5293b4fa8fd38e984a6c1b98ee8a9e2e09
parent31e59f209874af25166748d570eb0bff14384427
parentaf8ec16cf56ded60f2e912610721a5d09ab5e13d
Merge commit 'dharmatech/master' into new_representations