dealii/dealii — pull request #5 by bangerth (2014-07-21 12:58:45+00:00)
Title: Augment documentation.

The documentation of MultithreadInfo was unintelligible. It was also
incomplete in some places.