dealii/dealii — pull request #160 by bangerth (2014-09-18 19:26:58+00:00)
Title: Update documentation in a couple of places.

In response to a question Timo had yesterday.