]> gitweb.factorcode.org Git - factor.git/commit
Merge branch 'new_ui' of /Users/slava/old/factor into new_ui
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Thu, 18 Dec 2008 05:41:17 +0000 (23:41 -0600)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Thu, 18 Dec 2008 05:41:17 +0000 (23:41 -0600)
commit9ae23231afbdca24ee57db4b71259c573b675c5f
treecdf404f5b4f8658d488947d37fd385d320f38185
parent789f7783656848c4e3a40eff0e3bf694498abfc2
parent0643cf3a4403bc0f6090ccc3b3346d4a942c2973
Merge branch 'new_ui' of /Users/slava/old/factor into new_ui