]> xenbits.xensource.com Git - people/andrewcoop/hwloc.git/commitdiff
Merge branch 'master' of github.com:open-mpi/hwloc
authorSamuel Thibault <samuel.thibault@ens-lyon.org>
Tue, 4 Feb 2014 10:02:20 +0000 (11:02 +0100)
committerSamuel Thibault <samuel.thibault@ens-lyon.org>
Tue, 4 Feb 2014 10:02:20 +0000 (11:02 +0100)

Trivial merge