]> gitweb.factorcode.org Git - factor.git/commit
Merge commit 'origin/master'
authorJose A. Ortega Ruiz <jao@gnu.org>
Mon, 22 Dec 2008 02:53:57 +0000 (03:53 +0100)
committerJose A. Ortega Ruiz <jao@gnu.org>
Mon, 22 Dec 2008 02:53:57 +0000 (03:53 +0100)
commit034c8f6cb3ad8aaea027c646a3c38bbbb4551d75
tree6e207b65665b228e78d18070b2ab54c76a3383ba
parent746ec52032f3ccf34462e7ade6f0922fc168d3c6
parent19e6e0a95897a339e4dca59ddbaccfb1036370f8
Merge commit 'origin/master'