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