]> gitweb.factorcode.org Git - factor.git/commit
Merge commit 'origin/master'
authorJose A. Ortega Ruiz <jao@gnu.org>
Sun, 21 Dec 2008 04:16:52 +0000 (05:16 +0100)
committerJose A. Ortega Ruiz <jao@gnu.org>
Sun, 21 Dec 2008 04:16:52 +0000 (05:16 +0100)
commit746ec52032f3ccf34462e7ade6f0922fc168d3c6
tree2f00e33dc29bb79256779d63b1043f916bd1e6cc
parent47b6da1b0c24ab0a349ff4ba7994a29c8d69278a
parent24344637365a7ef00cf4218265c819e87a781320
Merge commit 'origin/master'