2012-04-25 | Stefano Lattarini | Merge branch master into maint after 1.12 release | tree | commitdiff |
2012-04-13 | Stefano Lattarini | Merge branch 'maint' | tree | commitdiff |
2012-04-12 | Stefano Lattarini | Merge branch 'maint' | tree | commitdiff |
2012-03-31 | Stefano Lattarini | Merge branch 'maint' | tree | commitdiff |
2012-03-28 | Stefano Lattarini | Merge branch 'maint' | tree | commitdiff |
2012-03-28 | Stefano Lattarini | maint: reorganize the source tree and make it less... | tree | commitdiff |