I notice that the v1.1 doxygen-generated HTML has a new header style:
http://www.open-mpi.org/projects/hwloc/doc/v1.1rc1/
vs. http://www.open-mpi.org/projects/hwloc/doc/v1.0.2/Did *we* change that style, or am I using a newer version of doxygen that changed the style? -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/
