]> gitweb.factorcode.org Git - factor.git/commit
Merge commit 'f681570c96fa7e9cdd7eeefba3903cdc1b5701b9'
authorJose A. Ortega Ruiz <jao@gnu.org>
Sat, 13 Dec 2008 16:52:43 +0000 (17:52 +0100)
committerJose A. Ortega Ruiz <jao@gnu.org>
Sat, 13 Dec 2008 16:52:43 +0000 (17:52 +0100)
commit8c82b8c00b2a078bff6131fb51bec9cc8f4a4197
treec5002611c040db98ac62c5742abc3a2c89be394d
parent62737d37789ea7c82f5a88c5078e389b0b120ceb
parentf681570c96fa7e9cdd7eeefba3903cdc1b5701b9
Merge commit 'f681570c96fa7e9cdd7eeefba3903cdc1b5701b9'